Searching: "Category:Propositional calculus"

1. Frege's propositional calculus
   [100%]
   (Computing) [Propositional calculus] [Systems of formal logic] The theorems are linked to each other in a directed manner ...
2. Propositional calculus
   [98%]
   (Computing) [Classical logic] [Boolean algebra] [Systems of formal logic] Branch of formal logic ...
3. Implicational propositional calculus
   [86%]
   (Computing) [Conditionals] [Articles containing proofs] [Propositional calculus] If A and F are formulas, then is equivalent to where ...