The Gateway to Computer Science Excellence
0 votes

Let P(m,n) be the statement "m divides n" where the universe of discourse for both the variable is the set of positive integers. Determine the truth values of each of the following propositions:

  1. $\forall m \forall n P(m, n)$,
  2. $\forall n P(1,n)$
  3. $\exists m \forall n P(m,n)$
    1. a-True, b-True, c-False
    2. a-True, b-False, c-False
    3. a-False, b-False, c-False
    4. a-True, b-True, c-True
in Mathematical Logic by Veteran (106k points)
recategorized by | 1.3k views

2 Answers

+1 vote
Best answer

∀m ∀n P(m, n) says that every number divides every other number and result should be a postive integer.

  • Clearly it is a false proposition.
  • Eg: if m=10 n=3 10 divides 3 does not follow the proposition
  • a is  false

 ∀n P(1, n) says that any positive integer is divisible by 1 and result will be a +ve integer.

  • That is correct
  • b is true

∃m∀nP(m,n) says that there are some +ve integers which divides any other +ve integer.

  • The proposition is correct
  • example: 1
  • c is true

Correct option must be

a-- false                b--true          c--true

None of the given options follows

by Boss (33k points)
selected by
+5 votes

Here order of propositions a and c are reversed .

in the original question proposition a    was ∃m∀nP(m,n)  and C was  ∀m∀nP(m,n),

now A is true as for for all numbers n there exists some m that divides n (even for prime numbers 1 and n satisfy this)

B is clearly true as 1 divides everything 

C is false as all n are not divisible by all m

hence ans is A

by Boss (49.3k points)

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,737 questions
57,392 answers
105,444 users