Professional Documents
Culture Documents
I. DEFINITIONS OF LOGIC
Prof. A. Acua
----------
Irving Copi
----------
-------
ie. _____________________________________________
(Example will be provided during the discussion)
B. Compound -- comprised of more than one simple statement
-- simple statements are joined by connectives
i.e. _____________________________________________
(Example will be provided during the discussion)
2 elements of compound statements:
1. simple propositions
2. logical constants/connectives
V. LOGICAL CONNECTIVES
SYMBOLS
.
v
A. and/but
B. or/either or
C. if then
D. iff
are contemporaries.
Consequent
Implicans
Implicate
Protasis
Apodosis
(a) The component statement between the if and then is
called the antecedent/ implicans/ protasis.
(b) The component statement following then is the
consequent/ implicate/ apodosis.
i.e. If equality of opportunity is to be achieved, then those
people previously disadvantaged should now be
given special opportunities.
D. BICONDITIONAL/ MATERIAL EQUIVALENCE/ if and only if
statement
--simple statements joined by the logical connective if and
only if.
i.e. Rosa will pass if and only if
her studies.
(4)
VII. REPRESENTATION
A. Purpose: to isolate the logical form of the statement from its logical
content, which is one of the concerns of logic. The representation
is needed because the form of the argument is sometimes
obscured by the complexity of the natural language.
B. How to represent:
1. SIMPLE STATEMENT -- can be symbolized using a capital
letter in the English alphabet.
2. COMPOUND STATEMENT symbolize simple statements
using capital letters and join them using the symbols for
the logical connectives in the statements.
3. NEGATION symbolize by adding the tilde symbol (~) to the
symbolized simple statement that was negated.
EXAMPLES:
Logical Notation
> Simple -- Rosa is nice.
--
--
N.S
--
~N.S
~P
not P
P is not T
It is not the case that P
P is not the case
P is false
B. CONJUNCTION
P.Q
P and Q
P but Q
P although Q
Both P and Q
P moreover Q
P nevertheless Q
P however Q
P yet Q
P while Q
C. ALTERNATION/ DISJUNCTION
PvQ
P or Q
P unless Q
Either P or Q
Unless Q, P
D. NEGATIVE DISJUNCTION
~ (P v Q)
Neither P nor Q
both not
not either P or Q
E. NEGATIVE CONJUNCTION
~(P . Q)
not both
F. CONDITIONAL
P Q
If P then Q
In case P, Q
If P, Q
P implies Q
P only if Q
Q if P
Q is necessary for P
P is sufficient for Q
Q, provided that P
PQ
G. BICONDITIONAL
P is equivalent to Q
P if and only if Q
P if Q, and Q if P
P . Q
True
True
False
False
True
False
True
False
True
False
False
False
DISJUNCTION
P
P v Q
True
True
False
False
True
False
True
False
True
True
True
False
CONDITIONAL
P
True
True
False
False
True
False
True
False
True
False
True
True
P Q
True
False
True
False
True
False
False
True
BICONDITIONAL
P
True
True
False
False
P Q