|
0,1,2,3,4,5,correct,choiceA_probs,choiceB_probs,choiceC_probs,choiceD_probs |
|
,It is hard not to verify in our peers the same weakened intelligence due to emotions that we observe in our everyday patients.,,,,D,True,0.05058228597044945,0.09450015425682068,0.13749690353870392,0.4235202968120575 |
|
Select the best translation into predicate logic. David teaches Chris. (c: Chris; d: David; Txy: x teaches y),Tdc,Tcd,Tcc,dTc,A,False,0.12774674594402313,0.16403008997440338,0.08779897540807724,0.3064485192298889 |
|
,Some large houses are bigger than some apartments.,Some houses are bigger than all large apartments.,Some large apartments are bigger than some houses.,Some houses are bigger thatn some large apartments.,C,False,0.1361316442489624,0.1542573720216751,0.12013576924800873,0.3265628516674042 |
|
|
|
|
|
,Valid,Invalid. Counterexample when G and H are true,Invalid. Counterexample when G is true and H is false,Invalid. Counterexample when H is true and G is false,A,True,0.19939441978931427,0.19939441978931427,0.09418725967407227,0.17596496641635895 |
|
|
|
|
|
|
|
|
|
|
|
|
|
,If it's not the case that both Izzy plays Minecraft and Ashleigh stops by then Russell makes dinner.,If it's both not the case that Izzy plays Minecraft and Ashleigh stops by then Russell makes dinner.,Izzy playing Minecraft and Ashleigh stopping by entails that Russell makes dinner.,Russell's making dinner is a sufficient condition for Izzy not playing Minecraft and Ashleigh stopping by.,B,False,0.11036956310272217,0.141717329621315,0.20619750022888184,0.3399621844291687 |
|
" Select the best English interpretation of the given proposition, using the following translation key: Ax: x is an apartment Hx: x is a house Lx: x is large Bxy: x is bigger than y (βx)[Hx β’ (βy)(Ay β Bxy)]",Some houses are smaller than all apartments.,Every house is bigger than every apartment.,Some apartment is smaller than every house.,Some houses are bigger than every apartment.,D,True,0.13362151384353638,0.17157341539859772,0.09183663129806519,0.3632209002971649 |
|
"Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
~K β‘ L / (K Β· L) β¨ (K Β· ~L)",Valid,Invalid. Counterexample when K and L are true,Invalid. Counterexample when K is true and L is false,Invalid. Counterexample when L is true and K is false,D,False,0.21031302213668823,0.21031302213668823,0.09934483468532562,0.1637919396162033 |
|
"Identify the antecedent of the following conditional proposition: If the university does not increase financial aid, either the president fails to approve it or the board of trustees prevents it.",The university increases financial aid.,The university does not increase financial aid.,The board of trustees prevents it.,The president fails to approve it.,B,True,0.12527433037757874,0.3005174994468689,0.12527433037757874,0.09756375104188919 |
|
" Which of the following propositions is an immediate (one-step) consequence in PL of the given premises? |
|
~E β ~F |
|
G β F |
|
H β¨ ~E |
|
H β I |
|
~I",E β F,F β G,H β ~E,~H,D,True,0.1282275915145874,0.1282275915145874,0.14530089497566223,0.16464748978614807 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Everybody loves Raymond, or not.",L,~L,L β’ ~L,L β¨ ~L,D,True,0.1334056705236435,0.11773008853197098,0.08091463148593903,0.2824198007583618 |
|
Select the best translation into predicate logic. All kings are luckier than all paupers. (Kx: x is a king; Px: x is a pauper; Lxy: x is luckier than y),(βx)[Kx β (βy)(Py β Lxy)],(βx)[Kx β (βy)(Lxy β Py)],(βx)(βy)[(Kx β’ Py) β Lyx],(βx)[(Kx β’ (βy)(Py)) β Lxy],A,False,0.13723546266555786,0.13723546266555786,0.07345685362815857,0.3292107582092285 |
|
" Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent. Justify your answers. |
|
(~M β ~N) β¨ (O β‘ N) and (~M Β· N) Β· [(~O β¨ ~N) Β· (O β¨ N)]",Logically equivalent,Contradictory,"Neither logically equivalent nor contradictory, but consistent",Inconsistent,B,False,0.09173000603914261,0.10394370555877686,0.13346636295318604,0.249347984790802 |
|
"Which of the following propositions is an immediate (one-step) consequence in PL of the given premises? |
|
E β ~F |
|
~F β G |
|
~G",E β F,F β G,G β E,~~F,D,True,0.15044239163398743,0.15044239163398743,0.13276495039463043,0.17047356069087982 |
|
"Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
E β (F β¨ ~G) |
|
F β (~E β¨ ~G) / ~(E β‘ F)",Valid,"Invalid. Counterexample when E, F, and G are true",Invalid. Counterexample when E and F are true and G is false,"Invalid. Counterexample when E, F, and G are false",C,False,0.22618667781352997,0.22618667781352997,0.09428863227367401,0.13718916475772858 |
|
"Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
H β‘ (~I β¨ J) |
|
H β¨ ~J / ~I",Valid,"Invalid. Counterexample when H, I, and J are false",Invalid. Counterexample when H and I are true and J is false,Invalid. Counterexample when I is true and H and J are false,D,False,0.23732905089855194,0.23732905089855194,0.09893346577882767,0.1121063083410263 |
|
Select the best translation into predicate logic. Some firefighters rescue victims from danger. (Dx: x is danger; Fx: x is a firefighter; Vx: x is a victim; Rxyz: x rescues y from z),(βx){Fx β’ (βy)[Dy β (βz)(Vz β’ Rxyz)]},(βx){Fx β’ (βy)[Vy β’ (βz)(Dz β’ Rxyz)]},(βx){Fx β’ (βy)(βz)[(Vy β’ Dz) β’ Rxzy]},(βx){Fx β (βy)[Vy . (βz)(Dz β’ Rxyz)]},B,False,0.13230159878730774,0.11675575375556946,0.09092947095632553,0.40751761198043823 |
|
"Identify the antecedent of the following conditional proposition: The university raises tuition if, and only if, both the governor approves of it and the board of trustees recommends it.",The university raises tuition.,The governor approves of it.,The board of trustees recommends it.,None of the above,D,False,0.11511281877756119,0.2150590568780899,0.16748815774917603,0.16748815774917603 |
|
Select the best translation into predicate logic. All planets are smaller than Jupiter. (j: Jupiter; Px: x is a planet; Sxy: x is smaller than y),(βx)(Px β’ Sxj),(βx)(Px β’ Sxj),(βx)(Px β Sjx),(βx)(Px β Sxj),D,True,0.10184095799922943,0.1307663768529892,0.06999418884515762,0.24430373311042786 |
|
Select the best translation into predicate logic. JosΓ© introduces Wilma to Kevin. (j: JosΓ©; k: Kevin; w: Wilma; Ixyz: x introduces y to z),Iwkj,Ijwk,Iwjk,Ijkw,B,False,0.13751666247844696,0.13751666247844696,0.09451373666524887,0.2569149434566498 |
|
Select the best translation into predicate logic: No artifacts are people.,~Pa,(βx)(Ax β ~Px),~Ap,(βx)(Ax β’ ~Px),B,True,0.13701145350933075,0.2559710741043091,0.10670462250709534,0.2559710741043091 |
|
" Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
P β Q |
|
Q Β· R / ~P Β· R",Valid,"Invalid. Counterexample when P, R, and Q are true",Invalid. Counterexample when P and Q are true and R is false,Invalid. Counterexample when R and Q are true and P is false,B,False,0.20858575403690338,0.20858575403690338,0.09852893650531769,0.1624467521905899 |
|
Select the best translation into predicate logic. Marco moves from Italy to Spain. (i: Italy; m: Marco; s: Spain; Mxyz: x moves to y from z),Msim,Mmis,Mims,Mmsi,D,True,0.1328597217798233,0.17059525847434998,0.15054979920387268,0.2812640368938446 |
|
" Select the best English interpretation of the given proposition, using the following translation key: Ax: x is an apartment Hx: x is a house Lx: x is large Bxy: x is bigger than y (βx){Ax β (βy)[(Hy β’ Ly) β βΌBxy]}",All apartments are not bigger than some large house.,No apartment is bigger than any large house.,All large houses are not bigger than some apartment.,No large house is bigger than all apartments.,B,True,0.13899554312229156,0.25967782735824585,0.09553015232086182,0.25967782735824585 |
|
" Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
J β‘ ~K |
|
J β¨ L |
|
~K / L",Valid,Invalid. Counterexample when J and K are true and L is false,Invalid. Counterexample when J is true and K and L are false,Invalid. Counterexample when K is true and J and L are false,C,False,0.19327108561992645,0.21900483965873718,0.10345056653022766,0.15051968395709991 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Pablo will go to the store if, and only if, his brother drives him and pays for gas.",(P β‘ D) β‘ G,(D β’ G) β P,P β (D β’ G),P β‘ (D β’ G),D,True,0.07729149609804153,0.07729149609804153,0.09924425929784775,0.4447818994522095 |
|
" Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.) |
|
D β‘ E |
|
F β¨ D |
|
~E Β· ~F",Inconsistent,"Consistent. Consistent valuation when D, E, and F are true",Consistent. Consistent valuation when D and E are true and F is false,Consistent. Consistent valuation when D and F are true and E is false,A,False,0.093214251101017,0.1536843329668045,0.10562559217214584,0.11968947947025299 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
The restaurant serves pie or cheesecake or ice cream for dessert.",P β¨ (C β¨ I),(P β¨ C) β¨ I,P β¨ C β¨ I,Options A and B,D,True,0.1669425070285797,0.1473262459039688,0.11473778635263443,0.2752416431903839 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
If Beth rides her bike, she gets to work earlier.",B β W,W β B,B β‘ W,Both A and B,A,False,0.20774967968463898,0.23541122674942017,0.09813399612903595,0.20774967968463898 |
|
Select the best translation into predicate logic: Either Taylor or Eric is a latte boy.,Lt β¨ Le,Lx β¨ Ly,tL β¨ eL,Tl β El,A,True,0.22716648876667023,0.22716648876667023,0.12159346789121628,0.15612910687923431 |
|
"Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
E β F |
|
G β ~F / ~G β¨ ~E",Valid,"Invalid. Counterexample when E, F, and G are true",Invalid. Counterexample when E and G are true and F is false,Invalid. Counterexample when F and G are true and E is false,A,True,0.2364543378353119,0.2364543378353119,0.09856882691383362,0.1265648901462555 |
|
" Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.) |
|
A β (~B β¨ C) |
|
C β D |
|
A β¨ (B Β· ~D) |
|
A β‘ (B β D)",Inconsistent,Consistent. Consistent valuation when A and D are true and B and C are false,"Consistent. Consistent valuation when A, B, and D are true and C is false",Consistent. Consistent valuation when C and D are true and A and B are false,B,False,0.04882410541176796,0.09121543914079666,0.13271766901016235,0.17041288316249847 |
|
" Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
M β¨ N |
|
~M Β· O / N",Valid,Invalid. Counterexample when M and O are true and N is false,Invalid. Counterexample when M is true and O and N are false,Invalid. Counterexample when O is true and M and N are false,A,False,0.1846732646226883,0.23712515830993652,0.09884846955537796,0.14382368326187134 |
|
" Which of the following propositions is an immediate (one-step) consequence in PL of the given premises? |
|
U β W |
|
W β (X β‘ ~Y) |
|
(X β‘ ~Y) β Z |
|
~Z",U β Z,U β¨ W,~W,~(X β‘ ~Y),D,True,0.16714979708194733,0.16714979708194733,0.14750917255878448,0.24320152401924133 |
|
"Identify the antecedent of the following conditional proposition: If the Bees don't win their first game, then both the Aardvarks and the Chipmunks win their first games. |
|
|
|
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
P β (Q β¨ R) |
|
(Q Β· S) β ~P |
|
~(~Q β¨ R) / ~PInvalid. Counterexample when P, Q, R, and S are trueInvalid. Counterexample when P, R, and S are true and Q is false |
|
Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
T β¨ U |
|
W Β· T / U |
|
|
|
Identify the antecedent of the following conditional proposition: The restaurant does not have peas, so instead they serve corn and potatoes. |
|
|
|
Identify the conclusion of the following argument. That the world is my idea is a truth valid for every living creature, though only man can contemplate it. In doing so, he attains philosophical wisdom. No truth is more absolutely certain than that all that exists for knowledge and therefore this world is only object in relation to subject, perception of a perceiver. The world is an idea. (Arthur Schopenhauer, The World as Will and Idea)That the world is my idea is a truth valid for every living creature, though only man can contemplate it.In doing so, he attains philosophical wisdom.No truth is more absolutely certain than that all that exists for knowledge and therefore this world is only object in relation to subject, perception of a perceiver. |
|
|
|
Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent. Justify your answers. |
|
C β (D β¨ C) and C Β· ~DNeither logically equivalent nor contradictory, but consistent |
|
Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent. Justify your answers. |
|
~O β P and O β¨ PNeither logically equivalent nor contradictory, but consistent |
|
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
(T Β· ~U) β ~W |
|
~W β X |
|
~Z β W |
|
~(X Β· Z) / T β UInvalid. Counterexample when T, X, and Z are true and U and W are falseInvalid. Counterexample when T and X are true and U, W, and Z are falseInvalid. Counterexample when T, W, and Z are true and U and X are false |
|
Select the best translation into predicate logic: Cecilia breaks my heart if, and only if, Maria is either a problem or a girl. |
|
Select the best translation into predicate logic: If Delilah is in New York City, then Juana is in Bogota or Layla is in San Juan. |
|
Use the following key to translate the given formula of PL to natural, English sentences. |
|
A: Marina reads a Percy Jackson book. |
|
B: Izzy plays Minecraft. |
|
C: Emily stops working. |
|
D: Russell makes dinner. |
|
E: Ashleigh stops by. |
|
~(A β B) β’ (B β ~E)It's not the case that Marina's reading a Percy Jackson book entails that Izzy plays Minecraft, but Izzy's playing Minecraft does entail that Ashleigh doesn't stop by.If Marina doesn't read a Percy Jackson book, then Izzy plays Minecraft, which entails that Ashleigh doesn't stop by.Marina's reading a Percy Jackson book does not entail that Izzy plays Minecraft, but Izzy plays Minecraft provided that Ashleigh doesn't stop by.It's not true that Marina reads a Percy Jackson book only when Izzy plays Minecraft, but Izzy plays Minecraft only when Ashleigh stops by.",A,False,0.12776684761047363,0.11275386065244675,0.18589967489242554,0.3064967393875122 |
|
"Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
(A β¨ B) β C |
|
C β ~D / D β A",Valid,"Invalid. Counterexample when B, C, and D are true and A is false",Invalid. Counterexample when B and D are true and A and C are false,"Invalid. Counterexample when A, B, and C are false and D is true",D,False,0.18232828378677368,0.1609041541814804,0.09759330749511719,0.1609041541814804 |
|
" Select the best English interpretation of the given arguments in predicate logic. |
|
Dh β ~Pt |
|
(βx)Px β¨ (βx)Mx |
|
~Mb / ~Dh","If my headache is dualist state, then your tickle is a physical state. Either everything is physical or everything is mental. But my broken toe is not a mental state. So my headache is not a dualist state.","If my headache is dualist state, then your tickle is not a physical state. Either everything is physical or everything is mental. But my broken toe is not a mental state. So my headache is not a dualist state.","If my headache is dualist state, then your tickle is not a physical state. If everything is physical then everything is mental. But my broken toe is not a mental state. So my headache is not a dualist state.","If my headache is dualist state, then your tickle is not a physical state. Everything is either physical or mental. But my broken toe is not a mental state. So my headache is not a dualist state.",B,False,0.10732889920473099,0.20051677525043488,0.10732889920473099,0.3746146559715271 |
|
" Which of the following propositions is an immediate (one-step) consequence in PL of the given premises? |
|
A β (B β’ C) |
|
~(B β’ C) |
|
A β¨ (D β¨ B)",A,~A,B,~B,B,False,0.34255191683769226,0.16181007027626038,0.11121032387018204,0.12601782381534576 |
|
" Which of the following propositions is an immediate (one-step) consequence in PL of the given premises? |
|
(N β ~O) β (O β¨ Q) |
|
P β (N β ~O) |
|
N β P",P,N β ~O,O β¨ Q,~P,A,False,0.14502288401126862,0.2110070437192917,0.1279822438955307,0.18621306121349335 |
|
Select the best translation into predicate logic. Earth isn't bigger than Jupiter. (e: Earth; j: Jupiter; Bxy: x is bigger than y),~Bje,Bej,Bje~,~Bej,D,False,0.1317165493965149,0.31597161293029785,0.09052737802267075,0.16912741959095 |
|
Identify the antecedent of the following conditional proposition: The Bees winning their first game is necessary for either the Aardvarks or the Chipmunks not winning their first game.,The Aardvarks do not win their first game.,The Bees win their first game.,The Chipmunks do not win their first game.,Either the Aardvarks or the Chipmunks do not win their first game.,D,False,0.13925892114639282,0.2601698935031891,0.13925892114639282,0.2026205211877823 |
|
Identify the antecedent of the following conditional proposition: The Bees win their first game only if either the Aardvarks or the Chipmunks do not win their first games.,The Aardvarks do not win their first game.,The Bees win their first game.,The Chipmunks do not win their first game.,Either the Aardvarks or the Chipmunks do not win their first games.,B,False,0.08741805702447891,0.1441280096769333,0.18506401777267456,0.30511897802352905 |
|
Select the best translation into predicate logic: Some athletes don't get injured.,~Ia,(βx)(Ax β’ ~Ix),~Ai,(βx)(Ix β¨ ~Ax),B,False,0.11195669323205948,0.2091626226902008,0.09880142658948898,0.3043298125267029 |
|
" Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent. Justify your answers. |
|
I β‘ ~H and ~(~I β‘ H)",Logically equivalent,Contradictory,"Neither logically equivalent nor contradictory, but consistent",Inconsistent,B,False,0.08816614747047424,0.0999053418636322,0.12828099727630615,0.21149960160255432 |
|
" Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.) |
|
(T β U) β (W β U) |
|
T β ~(U β X) |
|
(T β ~X) β W",Inconsistent,"Consistent. Consistent valuation when U, W, and X are true and T is false",Consistent. Consistent valuation when W and X are true and T and U are false,Consistent. Consistent valuation when T and U are true and W and X are false,B,True,0.11399354040622711,0.1658596247434616,0.12917160987854004,0.1658596247434616 |
|
"Select the best translation into predicate logic: Caroline is sweet if, and only if, Janet is engaged to Brad.",Cs β Ej,Sc β‘ Ej,sC β‘ eJ,Sx β‘ Jy,B,True,0.18141429126262665,0.23294055461883545,0.14128559827804565,0.14128559827804565 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Either England's importing beef is a sufficient condition for France's subsidizing agriculture, or China doesn't promote human rights when and only when South Africa supplies diamonds. |
|
Use the following key to translate the given formula of PL to natural, English sentences. |
|
A: Marina reads a Percy Jackson book. |
|
B: Izzy plays Minecraft. |
|
C: Emily stops working. |
|
D: Russell makes dinner. |
|
E: Ashleigh stops by. |
|
(~A β¨ ~B) β CIf neither Marina reads a Percy Jackson book nor Izzy plays Minecraft, then Emily stops working.If it's not the case that both Marina reads a Percy Jackson book and Izzy plays Minecraft, then Emily stops working.",Either Marina not reading a Percy Jackson book or Izzy not playing Minecraft entails that Emily stops working.,Emily stopping working is a sufficient condition for either Marina not reading a Percy Jackson book or Izzy not playing Minecraft.,C,False,0.06648137420415878,0.0967298373579979,0.2320428192615509,0.3825739026069641 |
|
" Identify the conclusion of the following argument. There are those who use predicate variables; the values of these variables are attributes. Predicates are wanted in all sentences regardless of whether there are attributes to refer to. The dummy predicate 'F' is wanted generally for expository purposes. If we are going to quantify over attributes and refer to them, then clarity is served by using recognizable variables and distinctive names for the purposes, and not mixing these up with the predicates. (Quine, Philosophy of Logic)",There are those who use predicate variables; the values of these variables are attributes.,Predicates are wanted in all sentences regardless of whether there are attributes to refer to.,The dummy predicate 'F' is wanted generally for expository purposes.,"If we are going to quantify over attributes and refer to them, then clarity is served by using recognizable variables and distinctive names for the purposes, and not mixing these up with the predicates.",D,True,0.025751300156116486,0.037467923015356064,0.07931958884000778,0.6641348004341125 |
|
" Use the following key to translate the given formula of PL to natural, English sentences. |
|
A: Marina reads a Percy Jackson book. |
|
B: Izzy plays Minecraft. |
|
C: Emily stops working. |
|
D: Russell makes dinner. |
|
E: Ashleigh stops by. |
|
~C β¨ D",If Emily doesn't stop working then Russell makes dinner.,Emily stops working unless Russell makes dinner.,Emily stops working unless Russell doesn't make dinner.,Emily doesn't stop working unless Russell makes dinner.,D,True,0.07799500972032547,0.12859202921390533,0.2120124101638794,0.2722293436527252 |
|
Select the best translation into predicate logic: Abdul and Cleopatra are Egyptian.,Ea β’ Ec,Ea β’ c,Ae β¨ Ce,Ex β’ Ey,A,True,0.3033609390258789,0.20849671959877014,0.11160025745630264,0.14329756796360016 |
|
Select the best translation into predicate logic: Sheena is a punk rocker.,Sx,xS,sP,Ps,D,False,0.221998929977417,0.221998929977417,0.10486487299203873,0.1959133744239807 |
|
Select the best translation into predicate logic. Kevin is introduced to JosΓ© by Wilma. (j: JosΓ©; k: Kevin; w: Wilma; Ixyz: x introduces y to z),Iwjk,Ijkw,Ikjw,Iwkj,D,True,0.14517123997211456,0.14517123997211456,0.08805080503225327,0.271215558052063 |
|
Select the best translation into predicate logic: If Eileen plays fiddle then Sherri sings.,Fe β¨ Ss,eF β Ss,Fe β¨ Es,Fe β Ss,D,True,0.13619761168956757,0.1201939731836319,0.09360715746879578,0.4195181727409363 |
|
|
|
|
|
,Valid,Invalid. Counterexample when C and D are true,Invalid. Counterexample when C is true and D is false,Invalid. Counterexample when D is true and C is false,A,False,0.16451740264892578,0.18642264604568481,0.0777125209569931,0.14518609642982483 |
|
Select the best translation into predicate logic:: Some blue herons migrate.,(βx)[(Hx β’ Bx) β’ Mx],(βx)[(Hx β’ Bx) β Mx],(βx)[(Hx β’ Bx) β Mx],(βx)[(Hx β’ Bx) β’ Mx],D,True,0.09690970182418823,0.14100277423858643,0.12443450838327408,0.1810511350631714 |
|
|
|
|
|
,,,,,A,False,0.14283083379268646,0.23548822104930878,0.18339842557907104,0.26684311032295227 |
|
,All of psychology has gotten stuck in moral prejudices and fears.,No one has come close to understanding it as the development of the will to power.,,Psychology becomes again the path to fundamental problems.,D,False,0.055200375616550446,0.08031608164310455,0.3176562488079071,0.2803306579589844 |
|
|
|
|
|
|
|
,Inconsistent,,Consistent. Consistent valuation when N and O are true and P and Q are false,Consistent. Consistent valuation when N and P are true and O and Q are false,C,False,0.12427572906017303,0.18082010746002197,0.12427572906017303,0.14082284271717072 |
|
|
|
,[(B β¨ D) β’ H] β L,[L β (B β¨ D)] β’ H,L β [(B β¨ D) β’ H],(B β¨ D β’ H) β L,A,False,0.10255159437656403,0.10255159437656403,0.10255159437656403,0.3158811628818512 |
|
|
|
,Valid,Invalid. Counterexample when O and P are true,Invalid. Counterexample when O is true and P is false,Invalid. Counterexample when P is true and O is false,A,False,0.19044499099254608,0.24453620612621307,0.10193785279989243,0.1680671125650406 |
|
Select the best translation into predicate logic: Leroy is bad only if DJ Khaled shouts his name.,Sk β‘ Bl,Bl β‘ Sk,Bx β Sy,Bl β Sk,D,True,0.11079797893762589,0.2345593422651291,0.12555058300495148,0.34128180146217346 |
|
|
|
,(G β H) β¨ I,(G β¨ H) β I,(G β H) β¨ ~I,(G β¨ H) β ~I,D,True,0.1067139133810997,0.1067139133810997,0.09417469054460526,0.29007846117019653 |
|
,Lm β¨ ~(Jl β¨ Ll),Lm β’ ~(Lj β’ Ll),Lm β’ ~(Lj β¨ Ll),Lm β¨ ~(Lj β’ Ll),C,False,0.132409930229187,0.132409930229187,0.132409930229187,0.3599274754524231 |
|
Select the best translation into predicate logic. Some animals are neglected by cruel people. (Ax: x is an animal; Cx: x is cruel; Px: x is a person; Nxy: x neglects y),(βx)[(Ax β’ Cx) β’ (βy)(Py β’ Nyx)],(βx)[(Cx β’ Px) β’ (βy)(Ay β’ Nxy)],(βx)[(Ax β’ Px) β’ (βy)(Cy β’ Nxy)],(βx)(βy){[(Ax β’ Cy) β’ Py] β’ Nxy)]},B,False,0.09324821084737778,0.10566405951976776,0.11973308026790619,0.3254682123661041 |
|
|
|
|
|
|
|
|
|
,Inconsistent,,,,B,True,0.12585528194904327,0.20750027894973755,0.14261272549629211,0.11106690019369125 |
|
Select the best translation into predicate logic: Some students work hard.,(βx)(Wx β¨ Sx),(βx)(Sx β¨ Wx),(βx)(Sx β’ Wx),(βx)(Sx β Wx),C,False,0.16177551448345184,0.14276638627052307,0.06743806600570679,0.23538197576999664 |
|
|
|
,(~F β E) β¨ (C β‘ ~S),(~E β F) β¨ (C β S),(~F β E) β¨ (C β‘ S),~(F β E) β¨ (S β C),D,True,0.09896951913833618,0.14399980008602142,0.14399980008602142,0.23741553723812103 |
|
|
|
|
|
,Valid,Invalid. Counterexample when A and B are true and C is false,Invalid. Counterexample when A is true and B and C are false,Invalid. Counterexample when B is true and A and C are false,A,False,0.1427198052406311,0.1832558512687683,0.098089799284935,0.16172271966934204 |
|
Select the best translation into predicate logic. All birds live in some nest. (Bx: x is a bird; Nx: x is a nest; Lxy: x lives in y),(βx)(βy)[(Bx β’ Ny) β Lxy],(βx)[Bx β (βy)(Ny β’ Lxy)],(βx)[(βy)(Ny β’ Bx) β Lxy],(βx)(βy)[(Bx β’ Ny) β Lxy],B,False,0.09791318327188492,0.11095017194747925,0.11095017194747925,0.3417505919933319 |
|
,Utilitarian theory is embarrassed by the possibility of utility monsters.,A utility monster gets enormous gains in utility.,A utility monster gets gains in utility greater than the utility lost by the sacrifices of others.,The sacrifices of even large numbers of other people are outweighed by the gains of the utility monster.,A,False,0.09055837988853455,0.10261610150337219,0.1493055373430252,0.45989343523979187 |
|
|
|
|
|
|
|
|
|
|
|
|
|
,Either Marina reading a Percy Jackson book or Ashleigh not stopping by is a necessary condition for both Russell making dinner and Izzy not playing Minecraft.,Either Marina reading a Percy Jackson book or Ashleigh not stopping by is a necessary and sufficient condition for Russell making dinner and Izzy playing Minecraft.,,Either Marina reads a Percy Jackson book or Ashleigh does not stop by just in case both Russell makes dinner and Izzy doesn't play Minecraft.,D,True,0.1293734610080719,0.11417167633771896,0.21330076456069946,0.24170143902301788 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Brittany likes fish and lizards, but not cats.",F β’ L β’ ~C,(F β’ L) β’ ~C,(F β’ L) β¨ ~C,C β’ (F β’ L),B,False,0.16818498075008392,0.11559173464775085,0.16818498075008392,0.2159537822008133 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
If either Harry enrolls or George does not enroll, then Jim enrolls.",H β¨ (~G β J),~(H β¨ G) β J,(H β¨ ~G) β J,(H β ~G) β¨ J,C,False,0.15124596655368805,0.11779049038887024,0.11779049038887024,0.3201877176761627 |
|
" Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
~X β Y |
|
Y β Z |
|
~Z / ~X",Valid,"Invalid. Counterexample when X, Y, and Z are true",Invalid. Counterexample when Y and Z are true and Z is false,Invalid. Counterexample when X is true and Y and Z are false,D,False,0.18816129863262177,0.2132146954536438,0.11412560939788818,0.18816129863262177 |
|
S Select the best translation into predicate logic. Some kind people help some endangered species. (Ex: x is endangered; Kx: x is kind; Px: x is a person; Sx: x is a species; Hxy: x helps y),(βx){(Kx β’ Px) β’ (βy)[(Ey β’ Sy) β’ Hxy]},(βx)(βy){[(Kx β’ Sx) β’ (Ey β’ Py)] β’ Hxy},(βx)(βy){[(Kx β’ Sx) β’ (Ey β’ Py)] β’ Hyx},(βx)(βy){[(Kx β’ Px) β’ (Ey β’ Sy)] β Hxy},A,False,0.13076892495155334,0.1679106056690216,0.11540316045284271,0.3554667532444 |
|
" Select the best English interpretation of the given proposition, using the following translation key: Ax: x is an apartment Hx: x is a house Lx: x is large Bxy: x is bigger than y (βx)[Ax β (βy)(Hy β’ Bxy)]",Every apartment is bigger than some house.,Every house is bigger than all apartments.,Every house is bigger than some apartment.,Some house is bigger than every apartment.,A,False,0.13451296091079712,0.15242315828800201,0.17271806299686432,0.2847639322280884 |
|
" Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
Q β‘ R |
|
~(S β¨ Q) / R",Valid,Invalid. Counterexample when Q and S are true and R is false,Invalid. Counterexample when Q is true and S and R are false,"Invalid. Counterexample when Q, S, and R are false",D,False,0.1725320667028427,0.2215355634689331,0.09234976023435593,0.15225902199745178 |
|
Identify the antecedent of the following conditional proposition: The university raises tuition only if both the governor approves of it and the board of trustees recommends it.,The university raises tuition.,The governor approves of it.,The board of trustees recommends it.,The governor approves of it and the board of trustees recommends it.,A,False,0.10970134288072586,0.20494908094406128,0.20494908094406128,0.23223772644996643 |
|
"Which of the following propositions is an immediate (one-step) consequence in PL of the given premises? |
|
(A β¨ B) β (C β¨ D) |
|
A β¨ B |
|
~C",~A β¨ ~B,~~C,C β¨ D,(A β¨ B) β D,C,False,0.11118713766336441,0.09812229126691818,0.23538315296173096,0.30223792791366577 |
|
"Identify the antecedent of the following conditional proposition: When the university raises tuition, then either the governor approves of it or the board of trustees doesn't prevent it. |
|
|
|
Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
~S β¨ T |
|
~S Β· U |
|
~T β¨ U / T Β· UInvalid. Counterexample when S, T, and U are true |
|
Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Doctors are helpful unless their patients are rude. |
|
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
L β [(M β¨ ~N) β O] |
|
(N β O) β (~P β Q) |
|
R β ~Q / L β (R β P)Invalid. Counterexample when L, M, O, Q, and R are true and N and P are falseInvalid. Counterexample when L, N, O, Q, and R are true and M and P are falseInvalid. Counterexample when L, N, and R are true and M, O, P, and Q are false |
|
Identify the conclusion of the following argument. The sense of a term is supposed to determine its reference. But reference can vary without any difference in thought. So, the senses of terms must be able to vary without variation in thought. So, our thoughts do not determine the meanings of our terms; meanings are not in the head. (Hilary Putnam) |
|
Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent. Justify your answers. |
|
(G β¨ ~H) β G and ~G β‘ (~H Β· G)Neither logically equivalent nor contradictory, but consistent |
|
Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Either England's importing beef is a necessary condition for France's subsidizing agriculture or China's promoting human rights is not a sufficient condition for South Africa's supplying diamonds. |
|
Select the best English interpretation of the given arguments in predicate logic. |
|
Wn β¨ Wm |
|
(βx)[Lx β (Dx β ~Wx)] |
|
Ln β’ Dn / ~(βx)~Wx |
|
Identify the conclusion of the following argument. Remember to remove any conclusion indicators. It is wrong for society to kill a murderer. This follows for the reason that if a murderer is wrong in killing his victim, then society is also wrong in killing the murderer. And a murderer is wrong in killing his victim.This follows for the reason that if a murderer is wrong in killing his victim, then society is also wrong in killing the murderer.If a murderer is wrong in killing his victim, then society is also wrong in killing the murderer. |
|
Which of the following propositions is not an immediate (one-step) consequence in PL of the given premises? |
|
I β (J β‘ K) |
|
(J β‘ K) β (L β¨ M) |
|
I β ~L |
|
Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
I β‘ ~J |
|
I β¨ J / I |
|
|
|
|
|
|
|
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
H β‘ (I Β· ~J) |
|
K β‘ ~H |
|
~(K β J) / I β‘ JInvalid. Counterexample when I, H, and K are true and J is falseInvalid. Counterexample when K is true and I, H, and J are false |
|
Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent. Justify your answers. |
|
~(J β¨ K) Β· L and (L β J) Β· KNeither logically equivalent nor contradictory, but consistent |
|
|
|
|
|
|
|
Identify the conclusion of the following argument. From a historical point of view, genetics is a young science. The principles that govern inheritance traits were described less than 150 years ago. Furthermore, around the turn of the twentieth century, the laws of inheritance were rediscovered. But even then, the importance of DNA was not really understood until the 1950s.But even then, the importance of DNA was not really understood until the 1950s.From a historical point of view, genetics is a young science. |
|
Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Either England's importing beef is a necessary condition for France's subsidizing agriculture or China promotes human rights given that South Africa doesn't supply diamonds.",(E β F) β¨ (C β‘ ~S),(F β E) β¨ (~S β‘ C),(E β F) β¨ (S β~C),(F β E) β¨ (~S β C),D,True,0.08883276581764221,0.11406353116035461,0.11406353116035461,0.2736241817474365 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Either England's importing beef is a sufficient condition for France's subsidizing agriculture or China's promoting human rights is a necessary condition for South Africa's supplying diamonds.",(E β F) β¨ (S β C),(F β E) β¨ (C β S),(E β F) β¨ (C β S),(F β E) β¨ (S β C),A,False,0.09333319216966629,0.09333319216966629,0.15388043224811554,0.22389470040798187 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Dylan likes neither math nor science.",M β¨ S,~(M β’ S),~(M β¨ S),~M β¨ ~S,C,False,0.10437511652708054,0.10437511652708054,0.1720854640007019,0.2837209701538086 |
|
Select the best translation into predicate logic: All robots are artifacts.,(βx)(Ax β¨ Rx),(βx)(Ax β’ Rx),(βx)(Rx β Ax),(βx)(Rx β’ Ax),C,False,0.14097929000854492,0.12441380321979523,0.0754607766866684,0.18102100491523743 |
|
" Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Since the university raised tuition, the president approved of it and the board didn't prevent it. |
|
Identify the conclusion of the following argument. We shouldn't abolish capital punishment. If we do, prisons will become more crowded. If prisons become more crowded, then we will have to build more prisons. And we don't want to build more prisons.If we do, prisons will become more crowded.If prisons become more crowded, then we will have to build more prisons. |
|
Which of the given formulas of PL is the best symbolization of the following sentence? |
|
Either England's not importing beef is a necessary condition for France's subsidizing agriculture, or China promotes human rights if and only if South Africa doesn't supply diamonds.",(F β ~E) β¨ (C β‘ ~S),(~E β F) β¨ (C β ~S),~(F β E) β¨ (~S β C),(F β E) β¨ (C β‘ ~S),A,False,0.0890217125415802,0.11430614441633224,0.0890217125415802,0.35208770632743835 |
|
"Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
(K Β· L) β M |
|
N β ~M |
|
N β¨ K / L β K",Valid,"Invalid. Counterexample when L, M, and N are true and K is false",Invalid. Counterexample when L and M are true and K and N are false,Invalid. Counterexample when L and N are true and K and M are false,D,False,0.23628367483615875,0.2085196077823639,0.09849768877029419,0.16239523887634277 |
|
" Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
(G β‘ H) Β· ~I |
|
~G β¨ (~H β¨ I) / G",Valid,Invalid. Counterexample when H and I are true and G is false,Invalid. Counterexample when H is true and I and G are false,"Invalid. Counterexample when H, I, and G are false",D,False,0.21049341559410095,0.2385202944278717,0.08774672448635101,0.12767072021961212 |
|
"Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) |
|
~(M β‘ ~N) |
|
M / N",Valid,Invalid. Counterexample when M and N are true,Invalid. Counterexample when M is true and N is false,Invalid. Counterexample when N is true and M is false,A,False,0.18165336549282074,0.20584022998809814,0.08580697327852249,0.18165336549282074 |
|
Select the best translation into predicate logic. Some CEO is wealthier than everyone. (Cx: x is a CEO; Px: x is a person; Wxy: x is wealthier than y),(βx)[Cx β’ (βy)(Py β’ Wxy)],(βx)[Cx β (βy)(Py β Wxy)],(βx)[Cx β’ (βy)(Py β Wxy)],(βx)[Px β (βy)(Cy β Wxy)],C,True,0.14809057116508484,0.13068947196006775,0.19015204906463623,0.13068947196006775 |
|
Select the best translation into predicate logic. All children go to some school. (Cx: x is a child; Sx: x is a school; Gxy: x goes to y),(βx)(βy)[(Cx β’ Sy) β’ Gxy),(βx)[Sx β (βy)(Cy β’ Gxy)],(βx)[Cx β (βy)(Sy β’ Gxy)],(βx)[Sx β’ (βy)(Cy β’ Gxy)],C,True,0.12492615729570389,0.12492615729570389,0.20596840977668762,0.1604083627462387 |
|
|