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

View previous topic View next topic 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
View previous topic View next topic 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: