650 views
1 votes
1 votes

If i have a statement like :

"No large birds live on honey" where domain is set of all Birds 

Here let Q(x) : x is a large bird 

R(x) : lives on honey  

CAn i write this is

∀x (∽Q(x)-->R(x)) ..is it right ?

and what about this ∀x (Q(x)-->∽R(x)) 

2 Answers

Best answer
2 votes
2 votes

Note: The cutting in statement 2 solution is just a correction. Not any symbol or something.

selected by
2 votes
2 votes

∀x (∽Q(x)-->R(x)) =>all  birds  which are not large(i.e small )birds live on honey .but it is not mentioned in the statement.so its not correct

∀x (Q(x)-->∽R(x)) => all  large birds do not live on honey.its correct.

Related questions

0 votes
0 votes
0 answers
2
2 votes
2 votes
1 answer
3
Dexter asked May 8, 2016
295 views
let p = you have the flu q: you miss the final examination r: you pass the courseexpress it: (p⋀q) ⋁ ( not q ⋀ r )
1 votes
1 votes
0 answers
4
Mk Utkarsh asked Feb 9, 2018
345 views
Which one of the expression of universal quantifier is ambiguous?For allFor everyall offor eachfor anyfor arbitrary