how-to-prove

how-to-prove copied to clipboard

1.3.1.c

2

Exercise 1.c of section 1.3 says: Analyze the logical forms of the following statements: c) x and y are natural numbers, and **exactly one** of them is prime My emphasis...

picogeyer

Solution to Problem 13 to 17

LennardEc

¬(Somebody failed the test) -> ∀y(If y got A grade, then y will tutor someone who got a D) Can't we reduce the term and cut ∀y from this? Because...

Windings-Lab

Not correct definition is used

1

https://github.com/psibi/how-to-prove/blob/c17d7a74473e73e3428c666441cd98be7ea67579/chapter%204/section4-4.tex#L602 In this line you say that UF is in F. But this is not true since if we have F = {{1,2,3,4}, {5}}, UF = {1,2,3,4,5} and {1, 2,...

pedroansa-zz

Answer missing bound variable y

1

In section 1-3 Ex 6-c you forgot to include y as a bound variable.

hadyfarhat

3.3.5.a

4

"Let x = {{1, 2}, {1, 3}}. Then x ∈ P(A) is true. Let y = {1, 2}. Then y ∈ x and y ⊆ A are both true. Let...

ir0nt0ad

(a) Every number that is larger than x is larger than y. As is: ∀z (z > x) -> (z > y) To be: ∀z (z > x -> z...

gnltkak

Shouldn't the answer be ∃A∈F(x∈A)∧∀A∈G(x∉A)? Thanks.

ir0nt0ad

Shouldn't it be - x or y and not both

htrapy

Missing sections

4

More of a question than a issue: Could you upload the rest of those Chapter 3 solutions? If you have them written out, I'd be happy to make the .tex...

BlakeTrebelhorn