Comp232 - Mathematics For Computer Science - Ali Moallemi, Iraj Hedayati - Concordia University Page 9
ADVERTISEMENT
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18Exercise 12
Show that the argument form with premises (p
t)
(r
s),
q
(u
t), u
p, and s and conclusion q
r is valid by first using
exercise 11 and then using rules of inferences from table 1.
Answer:
using exercise 11 we have: the argument form with premises
(p
t)
(r
s), q
(u
t), u
p, and s and
q
and conclusion r.
from q and q
(u
t) we get
u
t
from u
t we get
u
and
t
from u and u
p we get
p
from t and p we get
p
t
from p
t and (p
t)
(r
s) we get
r
s
from r
s and s we get r, which is what we expected.
Ali Moallemi, Iraj Hedayati
COMP232 - Mathematics for Computer Science
9 / 18
ADVERTISEMENT
0 votes
Related Articles
Related forms
Math Test 3 For Spring 2009 - Mat 1101 Discrete Mathematics For Computing, Augusta Technical College
Education
Math Test 1 Worksheet - Discrete Mathematics For Computing, Augusta Technical College, Fall 2009
Education
Mathematics B Exam Worksheet - Regents High School Examination, The University Of The State Of New York, 2005
Education
Related Categories
Parent category: Education