Question 9650 – Propositional-Logic
February 11, 2024Question 9558 – Propositional-Logic
February 11, 2024Question 9511 – Propositional-Logic
Identify the correct translation into logical notation of the following assertion.
"Some boys in the class are taller than all the girls"
Note: taller(x,y) is true if x is taller than y.
Correct Answer: D
Question 15 Explanation:
Don’t confuse with ‘∧’ and ‘→’
‘∧’ → predicts statements are always true, no matter the value of x.
‘→’ → predicts there is no need of left predicate to be true always, but whenever it becomes true, then right predicate must be true.
Option D:
There exists a some boys who are taller than of all girls y.
‘∧’ → predicts statements are always true, no matter the value of x.
‘→’ → predicts there is no need of left predicate to be true always, but whenever it becomes true, then right predicate must be true.
Option D:
There exists a some boys who are taller than of all girls y.
(∃x) (boy(x) → (∀y) (girl(y) ∧ taller(x,y)))
(∃x) (boy(x) ∧ (∀y) (girl(y) ∧ taller(x,y)))
(∃x) (boy(x) → (∀y) (girl(y) → taller(x,y)))
(∃x) (boy(x) ∧ (∀y) (girl(y) → taller(x,y)))
Subscribe
Login
0 Comments