Propositional Logic
Introduction to Propositional Logic
Propositional logic is a logic at the sentential level. The smallest unit we deal with
in propositional logic is a sentence. We do not go
inside individual sentences and analyze or discuss their meanings.
We are going to be interested only in true or false of sentences, and major
concern is whether or not the truth or falsehood of a certain sentence follows
from those of a set of sentences, and if so, how. Thus sentences considered in this logic
are not
arbitrary sentences but are the ones that are true or false. This kind of
sentences are called