Scribd
Upload
2 views

Assignment 3

The document contains an assignment with three questions related to logic and predicates. Question 1 requires translating statements about comedians and their funniness into English. Question 2 involves determining the truth values of statements about integers, and Question 3 asks for translations of statements into logical expressions.

Uploaded by

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

Assignment 3

The document contains an assignment with three questions related to logic and predicates. Question 1 requires translating statements about comedians and their funniness into English. Question 2 involves determining the truth values of statements about integers, and Question 3 asks for translations of statements into logical expressions.

Uploaded by

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

Assignment 3

Q1. Translate these statements into English, where C(x) is “x is a comedian” and F (x) is “x is funny”

and the domain consists of all people.

a) ∀x(C(x) → F (x))

b) ∀x(C(x) ∧ F (x))

c) ∃x(C(x) → F (x))

d) ∃x(C(x) ∧ F (x))

Q2. Determine the truth value of each of these statements if the domain consists of all integers.

a) ∀n(n + 1 > n)

b) ∃n(2n = 3n)

c) ∃n(n = −n)

d) ∀n(3n ≤ 4n)

Q3. Translate each of these statements into logical expressions using predicates, quantifiers, and
logical connectives.

a) Something is not in the correct place.

b) All tools are in the correct place and are in excellent condition.

c) Everything is in the correct place and in excellent condition.

d) Nothing is in the correct place and is in excellent condition.

e) One of your tools is not in the correct place, but it is in excellent condition.

You might also like