Deck 9: Propositional Logic II

ملء الشاشة (f)
exit full mode
سؤال
Which is not one of the nine rules of inference?

A)simplification
B)modus tollens
C)subtraction
D)absorption
استخدم زر المسافة أو
up arrow
down arrow
لقلب البطاقة.
سؤال
Which of the rules of inference is described by this formula?
(p ? q) · (r ? s)
prp\vee r
? qs q\vee s

A)conjunction
B)absorption
C)disjunctive syllogism
D)constructive dilemma
سؤال
What is the formula for simplification?

A)p · q ? p
B)p q ? p · q
C)p ? pqp\vee q
D)p · q, p, ?q
سؤال
"Either I get married or I live alone; I didn't get married; therefore, I live by myself." What is the elementary valid argument form of this argument?

A)constructive dilemma
B)modus tollens
C)disjunctive syllogism
D)hypothetical syllogism
سؤال
What is the rule of inference by which the conclusion of this argument follows from the premise?
C ? (A ? B)
? C ? (~~A ? B)

A)distribution
B)double negation
C)addition
D)constructive dilemma
سؤال
For the following valid argument, state the rule of inference by which the conclusion follows from its premises:
[F?(G? H)](IJ) [F?(G? H)] [F ? (G ? ~H)] \vee(I \vee J) ~[F ? (G ? ~H)] ? IJ I \vee J

A)constructive dilemma
B)disjunctive syllogism
C)absorption
D)modus ponens
سؤال
By which rule of inference does the conclusion of this argument follow from its premises?
 (AB)~(A · B) ? (CD)(C \vee D) ~ (AB)(A · B) ? (CD)(C \vee D)

A)modus ponens
B)modus tollens
C)disjunctive syllogism
D)simplification
سؤال
The method of proving invalidity by assigning truth values to statements in a shortened truth table:

A)can become more cumbersome than the full truth table method because of the time and energy involved
B)works only with modus tollens and modus ponens
C)is resorted to for convenience-it saves time and space
D)is not as accurate as using Venn diagrams
سؤال
Which rule of inference makes the conclusion of this argument follow from its premise?
[F? (GH)]?(IJ)?[F? (GH)][F? (GH)]?(IJ)[F ? ~(G \vee H)] ? (I \vee J) ?{[F ? ~(G\vee H)] · [F ? ~(G \vee H)]} ? (I \vee J)

A)transportation
B)tautology
C)association
D)commutation
سؤال
Which rule of inference makes the conclusion of this argument follow from its premise?
A ? B
? (~A ? ~B)

A)addition
B)exportation
C)commutation
D)transposition
سؤال
Conjunction is symbolically represented by p, q, ? p · q.
سؤال
Simplification is symbolically represented by p ? q, ? (p · q).
سؤال
You can replace [(p · q) ?r] with [p ?(q ?r)].
سؤال
One of De Morgan's theorems states that (pq) (p\vee q) is logically equivalent to (qp) (q\vee p) .
سؤال
Material implication states that ( pq) (~p\vee q) is logically equivalent to (p ?q).
سؤال
Matching:

-An argument is proved invalid when its premises are ________ and its conclusion is false in one line of its truth table.

A)false
B)true
C)ambiguous
سؤال
Matching:

-If no truth values can be given to the statements of an argument to make its premises true and its conclusion false, then the argument must be ________.

A)valid
B)invalid
C)unsound
سؤال
Matching:

-When the rule of ________ is applied to "If it rains, I will get wet," it becomes "If it rains, not only will it be raining but I will get wet."

A)addition
B)absorption
C)simplification
سؤال
Matching:

-"p · q, ? p" is the form of ________.

A)simplification
B)disjunction
C)addition
سؤال
Matching:

-We can use ________ to substitute (p ? q) for (~pV q)

A)material implication
B)De Morgan's rule
C)simplification
فتح الحزمة
قم بالتسجيل لفتح البطاقات في هذه المجموعة!
Unlock Deck
Unlock Deck
1/20
auto play flashcards
العب
simple tutorial
ملء الشاشة (f)
exit full mode
Deck 9: Propositional Logic II
1
Which is not one of the nine rules of inference?

A)simplification
B)modus tollens
C)subtraction
D)absorption
subtraction
2
Which of the rules of inference is described by this formula?
(p ? q) · (r ? s)
prp\vee r
? qs q\vee s

A)conjunction
B)absorption
C)disjunctive syllogism
D)constructive dilemma
constructive dilemma
3
What is the formula for simplification?

A)p · q ? p
B)p q ? p · q
C)p ? pqp\vee q
D)p · q, p, ?q
p · q ? p
4
"Either I get married or I live alone; I didn't get married; therefore, I live by myself." What is the elementary valid argument form of this argument?

A)constructive dilemma
B)modus tollens
C)disjunctive syllogism
D)hypothetical syllogism
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
5
What is the rule of inference by which the conclusion of this argument follows from the premise?
C ? (A ? B)
? C ? (~~A ? B)

A)distribution
B)double negation
C)addition
D)constructive dilemma
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
6
For the following valid argument, state the rule of inference by which the conclusion follows from its premises:
[F?(G? H)](IJ) [F?(G? H)] [F ? (G ? ~H)] \vee(I \vee J) ~[F ? (G ? ~H)] ? IJ I \vee J

A)constructive dilemma
B)disjunctive syllogism
C)absorption
D)modus ponens
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
7
By which rule of inference does the conclusion of this argument follow from its premises?
 (AB)~(A · B) ? (CD)(C \vee D) ~ (AB)(A · B) ? (CD)(C \vee D)

A)modus ponens
B)modus tollens
C)disjunctive syllogism
D)simplification
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
8
The method of proving invalidity by assigning truth values to statements in a shortened truth table:

A)can become more cumbersome than the full truth table method because of the time and energy involved
B)works only with modus tollens and modus ponens
C)is resorted to for convenience-it saves time and space
D)is not as accurate as using Venn diagrams
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
9
Which rule of inference makes the conclusion of this argument follow from its premise?
[F? (GH)]?(IJ)?[F? (GH)][F? (GH)]?(IJ)[F ? ~(G \vee H)] ? (I \vee J) ?{[F ? ~(G\vee H)] · [F ? ~(G \vee H)]} ? (I \vee J)

A)transportation
B)tautology
C)association
D)commutation
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
10
Which rule of inference makes the conclusion of this argument follow from its premise?
A ? B
? (~A ? ~B)

A)addition
B)exportation
C)commutation
D)transposition
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
11
Conjunction is symbolically represented by p, q, ? p · q.
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
12
Simplification is symbolically represented by p ? q, ? (p · q).
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
13
You can replace [(p · q) ?r] with [p ?(q ?r)].
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
14
One of De Morgan's theorems states that (pq) (p\vee q) is logically equivalent to (qp) (q\vee p) .
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
15
Material implication states that ( pq) (~p\vee q) is logically equivalent to (p ?q).
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
16
Matching:

-An argument is proved invalid when its premises are ________ and its conclusion is false in one line of its truth table.

A)false
B)true
C)ambiguous
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
17
Matching:

-If no truth values can be given to the statements of an argument to make its premises true and its conclusion false, then the argument must be ________.

A)valid
B)invalid
C)unsound
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
18
Matching:

-When the rule of ________ is applied to "If it rains, I will get wet," it becomes "If it rains, not only will it be raining but I will get wet."

A)addition
B)absorption
C)simplification
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
19
Matching:

-"p · q, ? p" is the form of ________.

A)simplification
B)disjunction
C)addition
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
20
Matching:

-We can use ________ to substitute (p ? q) for (~pV q)

A)material implication
B)De Morgan's rule
C)simplification
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
locked card icon
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.