Difference between revisions of "Sentential Calculus"

Jump to: navigation, search
m (Text replacement - " ⇒ " to " ⇒ ")
(Redirected page to Propositional Logic System)
(Tag: New redirect)
Line 1: Line 1:
'''See:''' [[Propositional Logic System]]
#REDIRECT [[Propositional Logic System]]
== References ==
* (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Sentential_logic
** In logic and [[mathematics]], a [[propositional calculus]] or logic (also a sentential calculus) is a formal system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives, and a system of formal proof rules allows certain formulæ to be established as "theorems".

Latest revision as of 22:53, 10 November 2019