| |
Sentential logic explains the workings of words such as "and", "but", "or", "not", "if-then", "if and only if", and "neither-nor". Frege expanded logic to include words such as "all", "some", and "none".
Propositional logic or sentential logic is the logic of propositions, sentences, or clauses. ... A propositional calculus is a formal, deduction system, or proof theory for reasoning with propositional formulas as symbolic logic. ...
Propositional or sentential logic[109] is the logic of statements which can be true or false.
1: "Propositional Logics (sometimes called Sentential Logics) conceptualize domains at, but not below the level of sentences (or propositions)."
5.
 See also: Argument, Branch, Inference, Artificial intelligence, Logic programming
  
|
RSS
