CS 201 - 12/1/14
Exam 1
Count: 30
Max: 98
Min: 14
Ave: 54
Median: 51
90's 1
80's 4
70's 2
60's 6
50's 2
40's 7
30's 5
20's 1
10's 2
======================================
ChiQat Lab
- Class on Date: 12/02/2014 (Tuesday next week)
- Lab Location- SCE 408
- Time Start: 11:00 AM
- Time End: 12:15 PM
---------------------------------------
a. All healthy people eat an apple a day.
b. Herbert is not a healthy person.
c. ∴ Herbert does not eat an apple a day.
h(X) X is a healthy person
a(X) X eats an apple a day
H is Herbert
h(H) Herbert is a healthy person
a(H) Herbert eats an apple a day
a. (ForAll X) h(X)->a(X)
b. ~h(H) or NOT(h(H))
c. :. ~a(H)
by Rule of Universal Modus Ponens
(ForAll X) p(X)->q(X)
p(A)
:. q(A)
The above argument does NOT match Universal Modus Ponens
by Rule of Universal Modus Tollens
(ForAll X) p(X)->q(X)
~q(A)
:. ~p(A)
The above argument does NOT match Universal Modus Tollens
The above argument is NOT valid
------------
for the statement: if p then q (p -> q)
the converse is: if q then p (q -> p)
the converse cannot be counted as always
being true.
when we have: p -> q
q
:. p
We have an invalid argument using the
converse error
the inverse is: if ~p then ~q (~p -> ~q)
the inverse cannot be counted as always
being true
when we have: p -> q
~p
:. ~q
We have an invalid argument using the
inverse error
----------------
For the argument of:
a. (ForAll X) h(X)->a(X)
b. ~h(H)
c. :. ~a(H)
This is an invalid argument using the inverse error