TRNG I HC BCH KHOA TP.

HCM
Khoa Khoa hc & K thut My tnh

1

ARTIFICIAL INTELLIGENCE
Tutorial 4 Questions

PROPOSITIONAL LOGIC


Question 1.

Which of the following are correct?

a. False |= True
b. True |= False
c. A B |= AB
d. (A B) (C D E) |= (A B C) (B C D E)
e. (A B) C has the same number of models as (A B) for any fixed
set of proposition symbols that includes A, B, C.

Question 2.
Is the sentences valid, unsatisfiable, or neither ?

a. Smoke => Smoke
b. Smoke => Fire
c. ((Smoke Heat) => Fire) ((Smoke => Fire) (Heat => Fire))

Question 3.

Express sentences in propositional logic:

a. You can stay in dormitory only if you are a honor student or you are not a
graduate student.
b. You cannot pass the driver license exam if your knowledge exams score
is under 60 unless you are older than 45 years old.
c. If the photo is digital or in black and white, then it is a portrait, else not.
d. If it is a portrait, then it is a picture of my friend.

Question 4.
Let p, q, and r be the following propositions:

p: You get an A on the final exam.
q: You do every exercise in the book.
r: You get an A in this class.




TRNG I HC BCH KHOA TP.HCM
Khoa Khoa hc & K thut My tnh

2

Write the following formulas using p, q, and r and logical connectives.

a. You get an A in this class, but you do not do every exercise in the book.
b. To get an A in this class, it is necessary for you to get an A on the final.
c. Getting an A on the final and doing every exercise in the book is sufficient for
getting an A in this class.


-- End --