逻辑形式有哪些

逻辑形式主要包括命题逻辑、谓词逻辑和模态逻辑。

1、命题逻辑：主要研究命题之间的关系，包括联结词(如与、或、非)的定义和作用，以及命题的否定、充分必要条件等概念，命题逻辑的主要规律有：真值表、逆否律、等价命题等。

2、谓词逻辑：主要研究谓词(陈述事物属性的词)之间的关系，包括量词(如全称量词、存在量词)的定义和作用，以及谓词的否定、蕴含、等价等概念，谓词逻辑的主要规律有：谓词演算、三值逻辑等。

3、模态逻辑：主要研究事物的状态及其关系，包括可能性、必然性、时序等概念，模态逻辑的主要规律有：可能性演算、必然性演算、时序逻辑等。