Deck 9: Propositional Logic II
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
سؤال
فتح الحزمة
قم بالتسجيل لفتح البطاقات في هذه المجموعة!
Unlock Deck
Unlock Deck
1/20
العب
ملء الشاشة (f)
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
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)
?
A)conjunction
B)absorption
C)disjunctive syllogism
D)constructive dilemma
(p ? q) · (r ? 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 ?
D)p · q, p, ?q
A)p · q ? p
B)p q ? p · q
C)p ?
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
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
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:
?
A)constructive dilemma
B)disjunctive syllogism
C)absorption
D)modus ponens
?
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?
? ~ ?
A)modus ponens
B)modus tollens
C)disjunctive syllogism
D)simplification
? ~ ?
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
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?
A)transportation
B)tautology
C)association
D)commutation
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
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 is logically equivalent to .
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck
15
Material implication states that 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
-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
-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
-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
-"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
-We can use ________ to substitute (p ? q) for (~pV q)
A)material implication
B)De Morgan's rule
C)simplification
فتح الحزمة
افتح القفل للوصول البطاقات البالغ عددها 20 في هذه المجموعة.
فتح الحزمة
k this deck