Regras do cálculo proposicional

Regras de inferência do cálculo proposicional

Conectivas proposicionais:

1. [ ~ ] Negação (‘Não é verdade que A’ representa-se como: ~ A)

2. [ & ou Ù ] Conjunção (‘A e B’ representa-se como: A & B)

3. [ Ú ] Disjunção (‘A ou B’ representa-se como: A Ú B)

4. [ ® ] Implicação (‘Se A então B’ representa-se como: A ® B)

5. [ « ] Equivalência ou bicondicional (‘A se e somente se B’ representa-se como: A « B)

1. Modus Ponens A ® B A \ B Testar por meio de uma Tabela de Verdade: [ (A ® B) & A] ® B	2. Modus Tollens A ® B ~ B \ ~ A Testar por meio de uma Tabela de Verdade: [ (A ® B) & ~ B] ® ~ A	3. Silogismo Hipotético A ® B B ® C \ A ® C Testar por meio de uma Tabela de Verdade: [ (A ® B) & (B ® C)] ® (A ® C)
4. Silogismo Disjuntivo A Ú B ~ A \ B Testar por meio de uma Tabela de Verdade: [ (A Ú B) & ~ A] ® B	5. Dilema Construtivo (A ® B) & (C ® D) A Ú C \ B Ú D Testar por meio de uma Tabela de Verdade: {[ (A ® B) & (C ® D)] & (A Ú C)} ® (B Ú D)	6. Absorção A ® B \ A ® (A & B) Testar por meio de uma Tabela de Verdade: (A ® B) ® [ A ® (A & B)]
7. Simplificação A & B \ A Testar por meio de uma Tabela de Verdade: (A & B) ® A	8. Conjunção A B \ A & B Testar por meio de uma Tabela de Verdade: (A & B) ® (A & B)	9. Adição A \ A Ú B Testar por meio de uma Tabela de Verdade: A ® (A Ú B)