GNED 1101 Chapter Notes - Chapter 1.6-1.7: Fallacy, Contraposition
1.6 Negations of Conditional Statements (De Morgan’s Law)
The Negation of the Conditional Statement PQ
The negation of a conditional statement is done by negating the consequent and switching to the “and”
connective
o Thus the negation of P Q is P Q
P
Q
P Q
Q
P Q
T
T
T
F
F
T
F
F
T
T
F
F
T
F
F
F
F
T
T
F
P Q and P Q have the opposite truth values so P Q negates PQ
This can be expressed as (pq) p q
Thus the negation of the conditional p q is p q
De Morgan’s Law
He concluded that
o (p q) p q
o (p q) p q
In a table both statements of each version have the same truth value, thus making them equivalent statemnets
. Thus the statement has the same value as its negated version
In negation the Conjunction , change the conjunction to a disjunction
o (pq) p q
In negating the disjunction , change the disjunction to a conjunction
o (pq) p q
1.7 Arguments and Truth Tables
Defining valid arguments
An argument consists of two parts
o The given statements are the premises
o The conclusion
An argument is valid if the conclusion is true whenever the premises are assumed to be true
An argument that is not valid is said to be an invalid argument or a fallacy
An argument p q can be represented
𝑝
𝑞
meaning “therefore”
To decide whether this argument is valid, we rewrite it as a conditional statement that has the following form
[(p q) p] q
Where (pq) is premise 1, and p is premise 2, and q the conclusion
To find out If the conjunctions premises implie that the conclusion is true we need to construct a
truth table
P Q
pq
[(pq) p)
[(pq) p] q
T T
T
T
T
T F
F
F
T
F T
T
F
T
F F
T
F
T
Because the statement overall is true in every case it is a tautology. This means that the premises imply the
conclusion. Therefore the argument is valid. Thus if an argument is a tautology it is valid
Thus p
----------
q is direct reasoning. All arguemnets that have direct reasoning are valid
Document Summary
1. 6 negatio(cid:374)s of co(cid:374)ditio(cid:374)al state(cid:373)e(cid:374)ts (cid:894)de morga(cid:374)"s law(cid:895) The (cid:374)egatio(cid:374) of a (cid:272)o(cid:374)ditio(cid:374)al state(cid:373)e(cid:374)t is do(cid:374)e (cid:271)y (cid:374)egati(cid:374)g the (cid:272)o(cid:374)se(cid:395)ue(cid:374)t a(cid:374)d s(cid:449)it(cid:272)hi(cid:374)g to the (cid:862)a(cid:374)d(cid:863) connective. Thus the negation of p q is p q. P q and p q have the opposite truth values so p q negates p q. This can be expressed as (p q) p q. Thus the negation of the conditional p q is p q. He concluded that: (p q) p q, (p q) p q. In a table both statements of each version have the same truth value, thus making them equivalent statemnets. Thus the statement has the same value as its negated version. In negation the conjunction , change the conjunction to a disjunction : (p q) p q. In negating the disjunction , change the disjunction to a conjunction : (p q) p q. An argument is valid if the conclusion is true whenever the premises are assumed to be true.