Question 1

How could you symbolize the statement, &#34;I will love you unless you kiss me&#34;?&#10;A)$ L \vee K $&#10;B)L ? K&#10;C)$~L\vee K$&#10;D)L ? K

Accepted Answer

$ L \vee K $&#10;

Question 2

~(p &#183; ~q) is the same as:&#10;A)~p &#183; q&#10;B)~p &#183; ~q&#10;C)(~p &#183; ~q)&#10;D)p ? q

Accepted Answer

p ? q&#10;

Question 3

What is the symbolic representation of modus tollens?&#10;A)p ? q q ? p&#10;B)p ? q p ? q&#10;C)p ? q ~q ? ~p&#10;D)p ? q, ~q, ? p

Accepted Answer

Modus tollens is symbolically represented as "p → q, ~q, therefore ~p." This means if "p implies q" is true and "q is not true" (~q), then "p is not true" (~p) must also be true.

Question 4

q and ~~q mean the same thing.What does this illustrate?&#10;A)material equivalence&#10;B)logical equivalence&#10;C)repetition&#10;D)double negation

Accepted Answer

Double negation is a logical principle stating that negating a negation of a proposition results in the original proposition itself.

Question 5

&#34;I will either kill you, or I will love you.&#34; This statement might be symbolized as:&#10;A)$K\vee L$&#10;B)~K &#183; L&#10;C)~K ? L&#10;D)K ? L

Accepted Answer

Option A, $K \vee L$, correctly symbolizes the statement "I will either kill you, or I will love you," as it represents the logical disjunction that either K (kill) or L (love) will happen.

Question 6

&#34;p ? q is logically equivalent to $~p\vee q$.&#34; This statement is:&#10;A)De Morgan's Theorem&#10;B)the definition of material implication&#10;C)a negation of the conjunction of two statements&#10;D)an invalid argument

Accepted Answer

The statement "p ? q is logically equivalent to $~p\vee q$" is the definition of material implication, which expresses the way conditional statements (if p, then q) are represented in propositional logic.

Question 7

Let B symbolize the statement &#34;All birds are beautiful.&#34; Then ~B must symbolize all of the following, except:&#10;A)Some bird is not beautiful.&#10;B)No birds are beautiful.&#10;C)It is not the case that all birds are beautiful.&#10;D)It is false that all birds are beautiful.

Accepted Answer

Option B, "No birds are beautiful," is a stronger statement than simply negating "All birds are beautiful." The negation of "All birds are beautiful" implies that there is at least one bird that is not beautiful, not that all birds lack beauty.

Question 8

&#34;If you can't use a computer, you won't get a job.I can use a computer very well, so I'm going to get a good job!&#34;&#10; What is the best symbolic representation of this argument?&#10;A)p ? q ~p ? ~q&#10;B)$~p\vee ~q$ p ? ~q&#10;C)p ? q ~q ? ~p&#10;D)~p ? ~q, p, ? ~q

Accepted Answer

The argument can be symbolically represented as "p → q, p, ∴ q." This means "If p (you can use a computer), then q (you will get a job). I can use a computer (p), therefore, I will get a job (q)." Option A correctly represents this logic.

Question 9

&#34;If dogs can fly, then the Earth is a sponge.&#34; Is this statement true?&#10;Why or why not?&#10;A)This is a contingent statement since it may be either true or false.&#10;B)This is false but we must check the world to discover this.&#10;C)This is false as neither the consequent nor the antecedent is true.&#10;D)This is a true statement because it is in the form of a material conditional and has a false antecedent.

Accepted Answer

This statement is an example of a material conditional in logic, where if the antecedent ("If dogs can fly") is false, the entire conditional statement is considered true regardless of the truth value of the consequent ("then the Earth is a sponge"). This is a fundamental principle in classical logic, not requiring the actual truth of the consequent or its relation to reality, but rather focusing on the logical structure.

Question 10

Let B mean &#34;the bread rises&#34; and Y abbreviate &#34;the yeast is good.&#34; The he compound statement B ? Y correctly represents any of the following propositions, except:&#10;A)That the yeast is good is a necessary condition for the bread to rise.&#10;B)That the yeast is good is a sufficient condition for the bread to rise.&#10;C)The bread rises only if the yeast is good.&#10;D)If the bread rises, the yeast is good.

Accepted Answer

The correct logical representation for "the yeast is good is a sufficient condition for the bread to rise" would be Y → B, meaning if Y (the yeast is good), then B (the bread rises). This does not necessarily imply that the bread can only rise if the yeast is good, as there could be other factors that cause the bread to rise. Choices A, C, and D all suggest that the goodness of the yeast is necessary for the bread to rise, which aligns with the logical statement B → Y (if the bread rises, then the yeast is good), but choice B incorrectly suggests the reverse.

Question 11

The following two arguments share the same argument form: &#34;If wishes were horses, beggars could ride; beggars cannot ride; so wishes are not horses.&#34; &#34;If price fixing becomes a common practice, the consumer will lose choices and taxpayers will be burdened with debt.We do not want consumers to lose choices and be burdened with debt, so we know that we should not allow price fixing.&#34;

Accepted Answer

The answer of The following two arguments share the same...

Question 12

A truth table for an argument contains one row in which there are Ts under the&#10; premises and an F under the conclusion.This single row shows that the entire argu-&#10; ment is invalid.

Accepted Answer

The answer of A truth table for an argument contains...

Question 13

Another term for material equivalence is material implication.

Accepted Answer

The answer of Another term for material equivalence is material...

Question 14

If an argument form is expressed as a conditional (with the conclusion as the consequent and a conjunction of the premises as the antecedent), and it shows one row on its truth table where Ts appear under the premises but an F appears under the conclusion, it may still be valid

Accepted Answer

The answer of If an argument form is expressed as...

Question 15

The principle of excluded middle asserts that no statement can be both true and&#10; false at the same time.

Accepted Answer

The answer of The principle of excluded middle asserts that...

Question 16

Matching:&#10;&#10;-Two statements are logically equivalent if their biconditional is a ________.&#10;A)tautology&#10;B)statement&#10;C)Proposition

Accepted Answer

The answer of Matching:&#10;&#10;-Two statements are logically equivalent if their...

Question 17

Matching:&#10;&#10;-p ? q is ________ equivalent to ~pV q.&#10;A)sufficiently&#10;B)logically&#10;C)empirically

Accepted Answer

The answer of Matching:&#10;&#10;-p ? q is ________ equivalent to...

Question 18

The only way for a disjunction to be false is if both of the disjuncts are proven to be ________ simultaneously.&#10;A)True&#10;B)False&#10;C)Invalid&#10;

Accepted Answer

The answer of The only way for a disjunction to...

Question 19

Matching:&#10;&#10;-Any statement is a ________ instance of its own statement form.&#10;A)substitution&#10;B)logical&#10;C)Sufficient

Accepted Answer

The answer of Matching:&#10;&#10;-Any statement is a ________ instance of...

Question 20

Matching:&#10;&#10;-A conjunction is true only when both of its conjuncts are ________&#10;A)false&#10;B)true&#10;C)valid

Accepted Answer

The answer of Matching:&#10;&#10;-A conjunction is true only when both...

Deck 8: Propositional Logic I