Scribd
Upload
304 views

Practice Problems Week 7

This document contains instructions and practice problems for a logic lab assignment. Students are instructed to submit their solutions in PDF format and are allowed to work with others on the problems. The problems cover determining whether sentences are logically true or arguments are valid using First Order Logic, and translating statements to FOL using predicates and quantifiers.

Uploaded by

api-479141525
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
304 views

Practice Problems Week 7

This document contains instructions and practice problems for a logic lab assignment. Students are instructed to submit their solutions in PDF format and are allowed to work with others on the problems. The problems cover determining whether sentences are logically true or arguments are valid using First Order Logic, and translating statements to FOL using predicates and quantifiers.

Uploaded by

api-479141525
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

CST 329: Reasoning with Logic

Brian James

Work on the practice problems must be typed and submitted in pdf format only. Any other
formats will not be accepted. Make your own copy (File > Make a copy) of the document. Edit
your copy of the documents with your answers. Then, download a copy of your word doc as a
PDF (File > Download > PDF) and submit it through the Canvas submission page.

Note: When asked to write proof, create the problems on proof-checker.org and paste the
screenshots of your successful proofs in this document for your submission.
Consider working with others when needed on the following problems:

Lab: Logically true FOL sentences and invalid arguments

1. Is the following sentence of FOL logically true? Prove it.

(∀𝑥𝑥 𝐹𝐹𝐹𝐹) → (∃𝑥𝑥 𝐹𝐹𝐹𝐹)

Yes, it is a theorem.

Domain: all humans


Fx: x has one body.
For all humans x, if x has one one body, then there exists a human x with one body.
Hint: Can you prove that the sentence is a theorem? If it is a theorem, then is it logically
true?
2. Show that the following argument is invalid using the method described in lecture:
∀𝑥𝑥 𝐹𝐹𝐹𝐹𝐹𝐹
∀𝑥𝑥 ∀𝑦𝑦 𝐹𝐹𝐹𝐹𝐹𝐹
Domain: all natural numbers
Fxy: x is equal to y.
a: the number 3
b: the number 6
The argument is invalid.
Hint: start by picking a numeric domain. Then decide on the meaning of F and G. Then
decide on the meaning of a and b.
3. Show that the following argument is invalid using the method described in lecture:
∀𝑥𝑥 (𝐹𝐹𝐹𝐹 → 𝐺𝐺𝐺𝐺), ¬𝐺𝐺𝐺𝐺
¬𝐹𝐹𝐹𝐹
Domain: all people
Fx: x is standing.
Gx: x is sitting.
a: Rick
b: Ronald
Fa -> Ga If Rick is standing, then Rick is sitting.
~Ga Rick is not sitting.
--------
~Fb Ronald is not standing.
The argument is invalid.

4. If you have time, show that the following argument is invalid using the method described
in lecture:
∀𝑥𝑥 (𝐹𝐹𝐹𝐹 ∨ 𝐺𝐺𝐺𝐺), ¬𝐹𝐹𝐹𝐹
𝐺𝐺𝐺𝐺
Domain: our pets
Fx: x is a swimmer.
Gx: x is a flyer.
a: Our new pet bird
b: Our new pet fish
Fa v Ga Our new pet bird is a flyer, or Our new pet bird is a swimmer
~Fa Our new pet bird is a not a swimmer.
----
Gb Our new pet fish is a flyer.
The argument is invalid.
Lab: Relations, functions, identity, and multiple quantifiers
1. Write a FOL formula to express that predicate F (with arity 2) is reflexive.
Ax(Fxx)
2. Write a FOL formula to express that predicate F (with arity 2) is transitive.
AxAyAz(Fxy ^ Fyz -> Fxz)
3. Prove the theorem we proved in class on your own.

∀𝑥𝑥 ∀𝑦𝑦 (𝑥𝑥 = 𝑦𝑦 → 𝑦𝑦 = 𝑥𝑥)

4. Prove this theorem (no premises) using the proof checker:

∀𝑥𝑥 ∀𝑦𝑦 ∀𝑧𝑧 ((𝑥𝑥 = 𝑦𝑦 ∧ 𝑦𝑦 = 𝑧𝑧) → 𝑥𝑥 = 𝑧𝑧)


The proof is not too different from the previous problem.

5. Translate "there are no more than two apples" to logic. Use the translation key "Fx x is
an apple".
Fx = x is an apple
∀x∀y∀z[(Fx ^ Fy ^ Fz) → ((x = y) v (x = z) v (y = z))]

6. Translate "there are exactly two apples" to logic. Use the translation key "Fx x is an
apple".
“There are at least two apples, and there are at most two apples.”
∃x∃y((Fx ^ Fy) ^ ~(x = y)) ^ ∀x∀y∀z[(Fx ^ Fy ^ Fz) → (((x = y) v (x = z)) v (y = z))]

You might also like