Category:Propositional calculus

From Wikipedia, the free encyclopedia
Jump to: navigation, search
The main article for this category is Propositional calculus.

Propositional logic (also referred to as Sentential logic) refers to a form of logic in which formulae known as "sentences" can be formed by combining other simpler sentences using logical connectives, and a system of formal proof rules allows certain formulae to be established as theorems.

Subcategories

This category has the following 5 subcategories, out of 5 total.

L

N

P

R

T