Alison Duncan Kerr
Sentential Logic (also known as Propositional Logic) is a branch of Deductive Logic.
Sentential Logic is the study of the
ways to join or modify sentences, statements, or propositions to form more complicated sentences, statements, or
propositions; it studies the logical relationships that are derived from these methods of combining or modifying the
sentences, statements, or propositions.
A major difference between inductive arguments and deductive arguments is that
only in deductive arguments can one determine whether the argument is valid based on form alone (not on content or
In order to evaluate a deductive argument for validity, we can translate it into a symbolic language and use truth tables to
decide whether its logical form is valid.
HE SYMBOLIC LANGUAGE
FIVE CONNECTIVE SYMBOLS
(“dot” for conjunction)
(“wedge” for disjunction)
(“arrow” for conditional)
(“double-arrow” for biconditional)
~ (“tilde” for negation)
It also contains capital letters (e.g., A, B, C) that stand for sentences and lower-case letters (e.g., p, q, r) that are variables.
YPES OF SENTENCES
Conditionals: If p, then q
arrow; p: antecedent; q: consequent
Conjunctions: (both) p and q
p • q
dot; p: first conjunct; q: second conjunct
Disjunctions: (either) p or q
wedge; p: first disjunct; q: second disjunct
Biconditionals: p if and only if q
double arrow; p: left side of
; q: right side of
Negations: It is not the case that p
Variables: p, q, r, …
Sentences: A, B, C, …