Revision #266 → #1503 · back to history
addedCompound propositionsd0b40440490c
addedPropositional variablesab9fbd949092
addedClassical truth-functional propositional logic7aa02625f68f
addedPropositional logic as a standard of logical consequencea4e559842e64
addedStatement2adba94aa458
addedExamples of statements5a8fb9a71f5c
addedNon-declarative sentences have no truth value310118f28799
addedCompound sentencesfe191a539123
addedExamples of compound sentences2c4449d1a57b
addedSimple/atomic vs compound sentences6e4404aa3f40
addedSentential connectives05a3f42bab73
addedLogical connectiveedd531928065
addedArgument8d5d4effca75
addedExample argument (modus ponens)e87167c21d92
addedModus ponens is classically valid451b4ab0cbc6
addedValid argumentcd796e5ec039
addedSound argumentfc584444b1d0
addedSymbolization of the example argumentc8b0ef822299
addedInference line (Gentzen notation)e4b160c5b6e0
addedSyntactic consequence3393bb7aca72
addedLanguage of a propositional calculus0245b0264d2c
addedWell-formed formula8035dbf3a2f4
addedRecursive definition of a formula3dd4c8bede41
addedDefinition 1: atoms are formulas6149d86fe4f7
addedDefinition 2: composition of formulas097f21ac2919
addedDefinition 3: nothing else is a formula6a6ceb353a47
addedExamples of well-formed formulas837397537740
addedPrinciple of compositionab87576c6c42
addedMolecules (molecular sentences)ac87ad77aff1
addedClosure Clause66ec1659cd73
addedCF grammar in BNF2afc4faefeba
addedPropositional constants vs variables1862921e411d
addedSchemata (schematic letters)0dd658413a80
addedTruth and falsity constants2d11b6083e6b
addedTwo truth-values in classical logica2352e5c128f
addedTruth-value evaluation examplebdf4d9b90675
addedBivalence, noncontradiction, excluded middlefa531303995d
addedInterpretation (case)5e8bc03c35c5
addedBoolean valuationb559d77d8ae6
addedNumber of distinct interpretationse7d5e6108cca
addedUncountably many interpretationsb616373a0b2f
addedCounterexample and validityc0a73a54f1dd
addedTruth-functionality of connectives707a97ab1ba2
addedSemantic definition via truth tables7d2fe25fb12d
addedTruth table of the five connectives6c17a0dcf788
addedConnectives defined via assignment expressions193a6b297558
addedConnectives definable in terms of othersb9c28e1e3f77
addedTruth-functionally complete systemsb7abd9c9ef0a
addedOnly NOR and NAND are sole-sufficiente8357769db22
addedEquivalence/biconditional truth condition8bca82d368d8
addedTruth-in-a-case (model)9ed7001dde54
addedFalsity-in-a-case3a0eb02a3418
addedSemantic consequence2a745aebf79e
addedValid formula (tautology)17cfd566f54b
addedConsistent sentence91bd75cca8c4
addedComplete case406f8e765f1f
addedConsistent case12974227fa98
addedClassical logic semantic theorems1c58c6f54989
addedClassification of proof systems3c1af12cfbfe
addedSemantic proof systems2a69e6511585
addedTruth table (proof method)95006e08ac33
addedSemantic tableaud8898051dda6
addedSyntactic proof systemsa16effb51e1a
addedHilbert-style axiomatic system804c1ff1a902
addedNatural deduction61c203e7c311
addedSequent calculusa9e85c83f5fd
addedProving validity via truth tablecabebc62137c
addedValidity iff all lines truee1e1aa2d537d
addedTruth table showing non-validity36c27949b71b
addedSemantic consequence via truth table5ebbd47b4d7b
addedAnalytic tableauxd505b48265b9
addedSigned formula8315a8a18504
addedClosing of branches and trees36fe5230bbbd
addedClosed tree proves self-contradiction8b6fa1319efd
addedTableau proves tautologyc41b4cf6126d
addedClosed tableau proves argument validityc612ebfa14d3
addedClassically valid argument forms15898033a009
addedNatural deduction specified by inference rules42be93eead93
addedProof (Suppes–Lemmon notation)a098f4ab695e
addedTen primitive rules of proofe5d2267bd692
addedNatural deduction proof example (MTT derivable)84e632620858
addedAxiomatic proofffe7dd39cb0c
addedFrege's six axioms57e95befd902
addedFrege's system is complete and consistent1ebb916f2d18
addedThird axiom is superfluous (Łukasiewicz)a64b8f63e478
addedŁukasiewicz's three axioms (P2)935720b8146c
addedSchematic form of P2df078272d3f3
addedProof example in P2cd0e51ace844
addedSoundnessb160937d16a9
addedStrong completenessd69c3cf66a45
addedTheorem iff logically validdfb662df196d
addedCompactness5db5b5c64604
addedConsistency coincides with satisfiability23f38f6b0217
addedDecidability8cfa785e1ef7
addedSatisfiability is decidable4fa470b82b70
addedSAT is NP-completea8a45c0b4a32