Symbolic Logic Question Paper

Symbolic Logic

Course:Bachelor Of Arts In Philosophy

Institution: Kenyatta University question papers

Exam Year:2008

KENYATTA UNIVERSITY
UNIVERSITY EXAMINATIONS 2008/2009
FIRST SEMESTER EXAMINATION FOR THE DEGREE OF BACHELOR OF
ARTS

APH 200:
SYMBOLIC LOGIC

DATE: Wednesday, 26th November, 2008
TIME: 8.00 a.m. ? 10.00 a.m.
------------------------------------------------------------------------------------------------------------
INSTRUCTIONS:
Answer any THREE questions but at least ONE from each Section
SECTION A
1.
Providing a key of your own, symbolize the following argument and then use
propositional natural deduction to prove its validity
?Either Eric did not register or he was discontinued. If he did not register then he
was discontinued. So, Eric was discontinued.?

2.
Use propositional natural deduction to prove the validity of the following
arguments:
a)
K/?B? (K?G)

b)
P? (?Q? (R??S))/?R
c)
(S ? ?I) ? N, (N? ?I) ? ?A/?S??A

3.
Construct a natural deduction proof of validity for the following argument.

?If either logic is required or critical thinking is required, then all K.U students
will study philosophy. Logic is required and Critical Thinking is required.
Therefore, all K.U students will study philosophy.?

SECTION B:
4.
Clearly explain meanings of any five (5) of the following:
a)
Universe of discourse
b)
Individual constants
c)
Individual variables
d)
Functions
e)
Predicate
f)
Open sentence
g)
Closed sentence

5.
Use predicate natural deduction to prove the following arguments:

a)
K/?B? (K? G)

b)
P? (?Q? (R??S)) /?R

c)
(S ? ?I) ? N, (N ? ?I) ? ?A/?S??A

6.
Translate the following statements into predicate symbolism
a)
All whales are heavy
b)
If something is wrong then it should be rectified
c)
All students are clever but lazy
d)
If any husband is unsuccessful, then if some wives are ambitious he will
be unhappy
e)
It is not the case that some dogs are both pointers and spaniels

2

📘 Access 10,000+ CBC Exams With Marking Schemes

Symbolic Logic Question Paper

More Question Papers

Exams With Marking Schemes

End Term 3 Exams

Mid Term Exams

End Term 1 Exams

Opener Exams

Full Set Exams