PROVA DE ARGUMENTOS

Tabela 1: Propriedades da álgebra das proposições

Propriedade Equivalência
P ∨P ≡P
Idempotência
P ∧P ≡P
V ∧P ≡P
Elemento Neutro
F ∨P ≡P
F ∧P ≡F
Elemento Absorvente
V ∨P ≡V
P ∧Q≡Q∧P
Comutatividade
P ∨Q≡Q∨P
P ∧ (Q ∧ R) ≡ (P ∧ Q) ∧ R
Associatividade
P ∨ (Q ∨ R) ≡ (P ∨ Q) ∨ R
P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)
Distributividade
P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
P ∧ (P ∨ Q) ≡ P
Absorção
P ∨ (P ∧ Q) ≡ P
P ∨ ¬P ≡ V
Negação
P ∧ ¬P ≡ F
Dupla Negação ¬¬P ≡ P
¬(P ∧ Q) ≡ ¬P ∨ ¬Q
Leis de DE MORGAN
¬(P ∨ Q) ≡ ¬P ∧ ¬Q
Condicional P → Q ≡ ¬P ∨ Q
Bicondicional P ↔ Q ≡ (P → Q) ∧ (Q → P )
Contraposição P → Q ≡ ¬Q → ¬P
P Y Q ≡ (P ∧ ¬Q) ∨ (Q ∧ ¬P )
Disjunção Exclusiva
P Y Q ≡ ¬(P ↔ Q)
Negação Conjunta P ↓ Q ≡ ¬(P ∨ Q)
 Tabela 2: Regras de Inferência
Propriedade Nome Inferência
P1 Introdução da Disjunção P `P ∨Q
P2 Eliminação da Disjunção P ∨ Q, P → R, Q → R ` R
P3 Introdução da Conjunção P, Q ` P ∧ Q
P4 Eliminação da Conjunção P ∧Q`P
P5 Introdução do Bicondicional P → Q, Q → P ` P ↔ Q
P6 Eliminação do Bicondicional P ↔ Q ` (P → Q) ∧ (Q → P )
P7 Eliminação da Dupla Negação ¬¬P ` P
P8 Absorção P → Q ` P → (P ∧ Q)
P9 Modus Ponens P → Q, P ` Q
P10 Modus Tollens P → Q, ¬Q ` ¬P
P11 Silogismo Disjunto P ∨ Q, ¬Q ` P
P12 Silogismo Hipotético P → Q, Q → R ` P → R
P13 Dilema Construtivo P → Q, R → S, P → R ` Q → S
P14 Dilema Destrutivo P → Q, R → S, ¬Q ∨ ¬S ` ¬P ∨ ¬R
P15 Contraposição P → Q ` ¬Q → ¬P
P16 Exportação P ∧ Q → R ` P → (Q → R)
P17 Implicação Material P ∧ Q ` ¬P ∨ Q
P18 1a Lei De Morgan ¬(P ∧ Q) ` ¬P ∨ ¬Q
P19 2a Lei De Morgan ¬(P ∨ Q) ` ¬P ∧ ¬Q