edited by
352 views
0 votes
0 votes
Suppose $x, y, z > 1$ are integers, let:

$p(x,y)$ : $x$ is a factor of $y$

$q(x,y,z)$ : $z$ = $\text{GCD}(x,y)$

$r(x)$ : $x$ is prime.

Check if the following argument is valid or not.

$(\forall x \exists y)p(x,y) \implies r(x)$ ,

$(\forall x)(\forall y)(\forall z)(q(x,y,z))$ ,

$(\exists x)(\forall y)(p(x,y) \lor r(x))$

$\therefore (\forall y)(\exists z)(\exists x)q(x,y,z)$
edited by

1 Answer

0 votes
0 votes
Quick revision:

an argument is valid when it always gives “true” as output irrespective of the input feed to it. Otherwise, it is invalid

Therefore, the only way to prove the given argument invalid is to somehow come up with T → F

 

Out of the given three premises,

(∀x)(∀y)(∀z)(q(x,y,z)) is false.

If we take the values of x,y, and z as 2,3 and 4 respectively, z != GCD(x,y), as GCD of (2,3) is 6, while z is 2.

Now, as per the truth table of implication, we know that the only way it can be invalid is the case T → F.

But we already got an F on the left hand side. Thus, we can say that it doesn’t matter whether F → T or F → F. As both of them will result in tautology. Hence, it is a valid argument.

Related questions

0 votes
0 votes
0 answers
1
kidussss asked Jul 29, 2022
315 views
Let y in the form of $a + bi$, where $a$ and $b$ are real numbers, be the cubic roots of complex number $z^{20},$ where $z=\frac{2}{4 + 3i}.$ Find $a + b.$
0 votes
0 votes
1 answer
2
kidussss asked Jul 29, 2022
234 views
Prove that $2n < (n + 1)!, $ for all $ n \geq 3.$
0 votes
0 votes
1 answer
3
kidussss asked Jul 29, 2022
234 views
Simplify $(A\cup B)\cap (A\cup B')\cap (A - B)$ for a given non empty sets $A$ and $B$, where $(A\cap B) = \varnothing .$
0 votes
0 votes
0 answers
4
Hailemariam asked Aug 4, 2022
430 views
Suppose a radioactive substance decays according to the equation $y=2000e^{-0.75t}$, where $y$ represent the mass in grams after $t$ hours.How much of $2$ milligram will...