Difference between revisions of "Sentential Calculus"

From GM-RKB
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".
 
 
 
----
 
 
 
__NOTOC__
 
[[Category:Malformed]]
 

Latest revision as of 22:53, 10 November 2019