The Outpost Saloon

A forum for sports, politics, general discussion and a variety of topics.
 
HomeHome  CalendarCalendar  FAQFAQ  RegisterRegister  Log inLog in  

Share | 
 

 Propositional calculus

Go down 
AuthorMessage
be_map1512
Wrangler
Wrangler


Posts : 225
Join date : 2010-10-19

PostSubject: Propositional calculus   Sun Nov 21, 2010 10:49 pm

In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true propositions. The series of formulas which is constructed within such a system is called a derivation and the last formula of the series is a theorem, whose derivation may be interpreted as a proof of the truth of the proposition represented by the theorem.

Truth-functional propositional logic is a propositional logic whose interpretation limits the truth values of its propositions to two, usually true and false. Truth-functional propositional logic and systems isomorphic to it are considered to be zeroth order logic.

Brash Games
marketing services
Back to top Go down
 
Propositional calculus
Back to top 
Page 1 of 1

Permissions in this forum:You cannot reply to topics in this forum
The Outpost Saloon :: The Bar :: General Discussion-
Jump to: