Register

propositional logic

5,656 views
0 votes
0 votes
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)
User Avatar

1 Answer

Best answer
1 votes
1 votes
A) TRUE
B) TRUE when n = 0
C) TRUE when n = 0
D) FALSE when n is a negative number
• selected by
User Avatar
Voting & Accepting an answer helps improve the community
← PreviousNext →
← Previous in categoryNext in category →

Related questions

2 votes
2 votes
2 answers
2
kd..... asked Jul 12, 2018
534 views
Propositional logic
I am unable to prove following equations without using truth table 1) p -> (q v r) = (p->q) V (p->r) 2) ~(p <-> q) = p <-> ~q
I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q
User Avatar
1 votes
1 votes
3 answers
3
Vicky rix asked Mar 7, 2017
902 views
propositional logic
Which of the following statements are ALWAYS TRUE ? A) ∀x [P(x)] ---> ∃x [P(x)] B) ∃x [P(x)] ---> ∀x [P(x)] C) Both A) and B) and so both are equivalent D) Neither A) nor B)
Which of the following statements are ALWAYS TRUE ?A) ∀x [P(x)] - ∃x [P(x)]B) ∃x [P(x)] - ∀x [P(x)]C) Both A) and B) and so both are equivalent D) Neither A) no...
User Avatar
0 votes
0 votes
2 answers
4
Vicky rix asked Mar 7, 2017
900 views
propositional logic
Which of the following propositional statements is TRUE ? A) ∀x ∀z ∃y [ P(x,y) ]---> ∃y ∀x ∀z [ P(x,y) ] B) ∃y ∀x ∀z [ P(x,y) ]---> ∀x ∀z ∃y [ P(x,y) ] C) Both A) and B) and so both are equivalent D) None of the above.
Which of the following propositional statements is TRUE ?A) ∀x ∀z ∃y [ P(x,y) ] - ∃y ∀x ∀z [ P(x,y) ]B) ∃y ∀x ∀z [ P(x,y) ] - ∀x ∀z ∃y [ P(x,y) ]C...
User Avatar
Link Copied!