Question: Using the predicates shown and appropriate quantifiers , match each of the following English sentences with its corresponding symbolic form. A(X): x is an animal

Using the predicates shown and appropriateUsing the predicates shown and appropriateUsing the predicates shown and appropriate
Using the predicates shown and appropriate quantifiers , match each of the following English sentences with its corresponding symbolic form. A(X): x is an animal B(x): x is a bear H(x): x is hungry W(x): x is a wolf and the domain of x is all living things.Bears are hungry but some wolfs are not. Choose... Some animals are hungry Choose. bears. (3x) (A(X)AH(X) A B(X) ) { (3x) (W(x)-H(x)) } - { (3x) (B(x)-H(x)) } Some wolfs are hungry but ((x)V-(x)a) (xA) not every animal is hungry. ( (x)a-(X)H ) (XA) (Look for an equivalent form { (3x) H(x) } A { (3x) 7 H(x) } for the part after the "but" ). { (3x) ( W(X) A 7 H(x) ) } { (3x) (W(x) A H(x) ) } A { (3x) (A(X) A H(x) ) } Bears are animals (i.e. any { ((X)H-(x)a) (XA) } - { (()H-(X)M) (XA) } living thing, if it's a bear, then {[ (X)H - (X)VI(xA) } - {[(X)H - ((x)aA (x)M)](xA) } it's an animal) 1 ( (X )HLV (X)M) (XE) } V{((X)H - (x)a) (XA)} Only bears are hungry (i. e. ((X)& L - (X)M) (XA) any living thing that's hungry Choose.. is a bear)nu. um. lug"; HILL.- u\". \"MI. 1' Bears are animals (i.e. any living thing, if it's a bear, then it's an animal} Only bears are hungry (i. e. any living thing that's hungry is a bear) If wolfs and bears are hungry, then so are all animals. No wolf is a bear [i.e. any living thing if it's a wolf, then it's not a bear} If all wolfs are hungry, then so are all bears. Some living things are hungry but some are not. Choose... 1} Choose... {F Choose... 1) Choose... Choose... 1) 1D Choose... {I

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Mathematics Questions!