{
  "path": "/deducao-natural",
  "site": "at://did:plc:zxclnyklmf3ehq57qwe56v5m/site.standard.publication/3meej2eztev26",
  "$type": "site.standard.document",
  "title": "Dedução Natural (para Lógica Proposicional)",
  "updatedAt": "2025-11-03T21:37:47+00:00",
  "description": "P Q R S T    ¬ ∧ ∨ → ↔    ( ) , ⊢ Formato: premissa1, premissa2, … ⊢ conclusão Exemplos: — Selecione um exemplo —Modus Ponens: P→Q, P ⊢ QModus Tollens: P→Q, ¬Q ⊢ ¬PSilogismo Disjuntivo: P∨Q, ¬P ⊢ QSilogismo Hipotético: P→Q, Q→R ⊢ P→RSimplificação: P∧Q ⊢ PConjunção: P, Q ⊢ P∧QAdição: P ⊢ P∨QContraposição: P→Q ⊢ ¬Q→¬PDilema Construtivo: P→Q, ¬P→Q ⊢ QDupla Negação: ¬¬P ⊢ PDe Morgan (∧): ¬(P∧Q) ⊢ ¬P∨¬QDe Morgan (∨): ¬(P∨Q) ⊢ ¬P∧¬QImplicação Material: P→Q ⊢ ¬P∨QDistributividade: P∧(Q∨R) ⊢ (P∧Q)∨(P∧R)Bicondicional Intro: P→Q, Q→P ⊢ P↔QBicondicional Elim: P↔Q, P ⊢ QExportação: (P∧Q)→R ⊢ P→(Q→R)Importação: […]",
  "publishedAt": "2025-10-20T19:26:01+00:00",
  "textContent": "P Q R S T    ¬ ∧ ∨ → ↔    ( ) , ⊢ Formato: premissa1, premissa2, ... ⊢ conclusão Exemplos: -- Selecione um exemplo -- Modus Ponens: P→Q, P ⊢ Q Modus Tollens: P→Q, ¬Q ⊢ ¬P Silogismo Disjuntivo: P∨Q, ¬P ⊢ Q Silogismo Hipotético: P→Q, Q→R ⊢ P→R Simplificação: P∧Q ⊢ P Conjunção: P, Q ⊢ P∧Q Adição: P ⊢ P∨Q Contraposição: P→Q ⊢ ¬Q→¬P Dilema Construtivo: P→Q, ¬P→Q ⊢ Q Dupla Negação: ¬¬P ⊢ P De Morgan (∧): ¬(P∧Q) ⊢ ¬P∨¬Q De Morgan (∨): ¬(P∨Q) ⊢ ¬P∧¬Q Implicação Material: P→Q ⊢ ¬P∨Q Distributividade: P∧(Q∨R) ⊢ (P∧Q)∨(P∧R) Bicondicional Intro: P→Q, Q→P ⊢ P↔Q Bicondicional Elim: P↔Q, P ⊢ Q Exportação: (P∧Q)→R ⊢ P→(Q→R) Importação: P→(Q→R) ⊢ (P∧Q)→R Negação Implicação: ¬(P→Q) ⊢ P∧¬Q Absorção: P∧(¬P∨Q) ⊢ P∧Q Terceiro Excluído: ⊢ P∨¬P Não Contradição: ⊢ ¬(P∧¬P) Lei de Clavius: ¬P→P ⊢ P Lei de Peirce: (P→Q)→P ⊢ P Paradoxo Material: ¬P ⊢ P→Q Explosão: P, ¬P ⊢ Q 🚀 Gerar Prova Apagar 📖 Regras Primitivas"
}