bitPhile

Home

❯

notes

❯

logics

❯

propositional logic

Folder: notes/logics/propositional-logic

24 items under this folder.

  • Sep 27, 2024

    rules-of-inference

    • Oct 19, 2023

      limitations

      • reasoning
      • inferences
    • Oct 18, 2023

      clausal-form

      • inferences
      • reasoning
    • Oct 10, 2023

      tableau-method

      • reasoning
      • inferences
    • Sep 27, 2023

      conditional-wff

      • reasoning
      • inferences
      • knowledge-management
    • Sep 27, 2023

      conditional-proofs

      • reasoning
      • inferences
      • knowledge-management
    • Sep 27, 2023

      direct-deductions

      • reasoning
      • inferences
      • knowledge-management
    • Sep 26, 2023

      deduction-theorem

      • reasoning
      • inferences
    • Sep 25, 2023

      forward-reasoning

      • reasoning
      • inferences
    • Sep 24, 2023

      horn-clauses

      • inferences
      • reasoning
    • Sep 24, 2023

      definite-clauses

      • reasoning
      • inferences
    • Sep 24, 2023

      satisfiability

      • inferences
      • reasoning
    • Sep 24, 2023

      ask

      • inferences
      • reasoning
    • Sep 24, 2023

      tell

      • inferences
      • reasoning
    • Sep 24, 2023

      contingency

      • inferences
      • reasoning
    • Sep 24, 2023

      contradiction

      • inferences
      • reasoning
    • Sep 22, 2023

      interpretation-function

      • reasoning
      • inferences
    • Sep 22, 2023

      model

      • reasoning
      • inferences
    • Sep 22, 2023

      models

      • reasoning
      • inferences
    • Sep 21, 2023

      model-checking

      • inferences
      • reasoning
    • Sep 21, 2023

      proof-by-contradiction

      • reasoning
      • inferences
    • Sep 19, 2023

      propositional-logic-syntax

      • reasoning
      • inferences
      • syntax
    • Sep 19, 2023

      frege-axioms

      • inferences
      • reasoning
      • logic
    • Sep 19, 2023

      propositional-logic

      • reasoning
      • inferences
      • logic

    Created with Quartz v4.5.0 © 2025

    • GitHub
    • Discord Community