Scribd
Upload
23 views

Comp2310 Lab 2

This document appears to be a lab assignment on propositional logic. It includes 8 questions assessing skills like writing logical expressions in terms of predicates, evaluating logical statements, and using rules of inference to prove conclusions. The questions cover topics such as truth tables, representing statements using logical connectives, quantifiers, and predicates.

Uploaded by

filiposka04
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
23 views

Comp2310 Lab 2

This document appears to be a lab assignment on propositional logic. It includes 8 questions assessing skills like writing logical expressions in terms of predicates, evaluating logical statements, and using rules of inference to prove conclusions. The questions cover topics such as truth tables, representing statements using logical connectives, quantifiers, and predicates.

Uploaded by

filiposka04
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

comp 2310- Lab 2:This lab will be marked.

1- points) complete the following truth table for war->9) A(pr)

#
ffpaparapery
creanour
2- spoints) Write one formul for representing the following statement:

"If every crocodile is bigger than every alligator, and Sam is a

crocodile, and there is a snake and Sam isn't


bigger than that snake,
then
something is not alligator."
Use these predicates:
C(u):i is a crocodile A(u):xe is an
alligator
B(u,y):x is bigger than y S(u):he is a snake

Sam is just the name of an element]


3.110 points) suppose i is an element of 42,3,43 and y is an element of

95.03.Consider the
fallowing firetime:
P(x):2x < &

Q(x,y):k +

y > 8

ofthe
each
write
following propositions using disjunctions (A,

conjunctions (A), and negations (8). Then evaluate if each


statement is True or False.

a) Jn P(al
b) Uu(P(n))
c) VuVyQ(x,y)
6) Jn
Fy Q(My
4-18 points) consider the
following predicates:
s(r):i is a student

I():x is intelligent
M(M1:2 likes music

Assuming the domain consists of all write logical


people, expressions
for the
following sentences:

lay all students are intelligent


(b) some intelligentstudents like music

122) Everyone who likes music is not


an
intelligentstudent.
(d) only intelligentstudents like music.
5-10 points) Assume the domain contains everything. Using the given predicates,
for the
write logical expressions following sentences:
D(Ul:x is a
day Scusixe is sunny RCUsix is
rainy
M:
Monday T: Tuesday

(a) some days and rainy.


are
sunny
(b) Both Monday and Tresday are
rainy
(2)
Everyday that is
rainy is not
sunny.

of inference
points)
Using logical equivalences and rules
5-17

prove that if
fu(PCu)aQ(UI) then NuPcul a BeQ(u).

7-112 points) Using logical equivalences and rules of inference


prove that if Nuliui=>R(ul) and Fre(PculavR(U)) then

~ Fu(P(M) => L(x) ·

8-1s points) Given the hypotheses EU (Acusa -Bcns) and

VulAcm->Pcn)) prove the conclusion Fu (Pcusa -


B(M)

You might also like