I.

Lógica proposicional

Tabelas de símbolos lógicos

Conectores ou Expressão padrão Símbolo Símbolo Exemplo Leitura
operadores lógicos adotado alternativo
Negação Não, não é verdade que ¬ ~ ¬𝑃 Não P
Conjunção E ∧ &, . 𝑃∧𝑄 PeQ
Dsjunção inclusiva Ou ∨ 𝑃∨𝑄 P ou Q
Disjunção exclusiva Ou... ou ∨̇ W 𝑃 ∨̇ 𝑄 Ou P ou Q
Condicional Se… entáo → 𝑃→𝑄 Se P, então Q
Bicondicional Se, e só se ↔ 𝑃↔𝑄 P se, e só se, Q

Outros Símbolos Sinal Adotado Letras alternativas Exemplo Leitura

Letras proposicionais P, Q, R, S, … p, q, r, s, … ¬𝑃 ; ¬𝑝 Não P
() - ¬(𝑃 ∧ 𝑄) Não é verdade que P e Q
Sinais auxiliares ∴ - (𝑃 ∧ 𝑄) ∴ 𝑃 P e Q, logo P
⊨ - (𝑃 ∧ 𝑄) ⊨ 𝑃 P é consequência lógica de P e Q
Tabelas de Verdade dos Operadores

P ¬𝑷 P Q 𝑷∧𝑸 𝑷∨𝑸 𝑷 ∨̇ 𝑸 𝑷→𝑸 𝑷↔𝑸

V F V V V V F V V
F V V F F V V F F
F V F V V V F
F F F F F V V

Leis de Inferência válida

Inferência Abreviatura Forma Lógica Fórmula Lógica
Modus ponens MP (𝑃 → 𝑄), 𝑃 ∴ 𝑄 ((𝑃 → 𝑄) ∧ 𝑃 ) → 𝑄
Modus tollens MT (𝑃 → 𝑄), ¬𝑄 ∴ ¬𝑃 ((𝑃 → 𝑄) ∧ ¬𝑄) → ¬𝑃
Silogismo hipotético SH 𝑃 → 𝑄, 𝑄 → 𝑅 ∴ 𝑃 → 𝑅 ((𝑃 → 𝑄) ∧ (𝑄 → 𝑅)) → (𝑃 → 𝑅)
Silogismo disjuntivo SD 𝑃 ∨ 𝑄, ¬𝑃 ∴ 𝑄 ((𝑃 ∨ 𝑄) ∧ ¬𝑃) → 𝑄
Contraposição C (𝑃 → 𝑄) ∴ (¬𝑄 → ¬𝑃) (𝑃 → 𝑄) → (¬𝑄 → ¬𝑃)
1ª Lei de De Morgan 1LM ¬(𝑃 ∧ 𝑄) ∴ ¬𝑃 ∨ ¬𝑄 ¬(𝑃 ∧ 𝑄) → (¬𝑃 ∨ ¬𝑄)
2ª Lei de De Morgan 2LM ¬(𝑃 ∨ 𝑄) ∴ ¬𝑃¬𝑄 ¬(𝑃 ∨ 𝑄) → (¬𝑃¬𝑄)

Falácias formais
Inferência Abreviatura Forma lógica válida Falácia Forma lógica inválida
Modus ponens MP (𝑃 → 𝑄), 𝑃 ∴ 𝑄 Afirmação do consequente (𝑃 → 𝑄), 𝑄 ∴ 𝑃
Modus tollens MT (𝑃 → 𝑄), ¬𝑄 ∴ ¬𝑃 Negação do antecedente (𝑃 → 𝑄), ¬𝑃 ∴ ¬𝑄
As falácias formais são raciocínios inválidos cujo erro resulta de uma alteração numa forma lógica válida.

Inspetor de Circunstâncias ou Tabela de Validade

MP Afirmação do consequente
P Q 𝑷→𝑸 𝑷 𝑸 P Q 𝑷→𝑸 𝑸 𝑷
O argumento é inválido, pois é possível derivar uma
V V V V V V V V V V conclusão falsa de premissas verdadeiras (linha 3).
V F F V F V F F F V
F V V F V F V V V F
F F V F F F F V F F