記憶度
5問
14問
0問
0問
0問
アカウント登録して、解答結果を保存しよう
問題一覧
1
(p ^ q) -> (q v p) What is the major connective?
->
2
p -> q becomes q - > p What Related Implications is this?
Converse
3
Elephants are bigger than mice. Is this statement a proposition? If yes, what is the truth value
Yes, True
4
Prove that p v ¬p is a contradiction
It is not a contradiction, but a tautology
5
Order of Logical Precedence: 1.) Negation 2.) Disjunction 3.) Conjunction 4.) Implication 5.) Bi-conditional Is this precedence correct?
No
6
What is the SECOND BASE for Propositional Logic
Law of Excluded Middle
7
These are two (2) different compound propositions that have EXACTLY the SAME/IDENTICAL truth value in every model
Logically Equivalent
8
Change the statement according to precedence ¬p ^ q
(¬p) ^ q
9
It is any statement that is FALSE regardless of the truth values of the constituent parts
Contradiction
10
Prove that q v ¬( p -> q) is a contradiction
It is not a contradiction, but a contingency
11
Change the statement according to precedence p ^ q ^ r ^ s
(p ^ q) ^ r) ^ s)
12
The symbol for negation is...
¬
13
Given p: Mindanao is an island in the Philippines. q: Find a number which divides your age. r: My seatmate will get a perfect score in the Logic exam. s: Welcome to the Philippines! What is s ^ p
Welcome to the Philippines and Mindanao is an Island in the Philippines.
14
It is not included in the parenthesis.
Major Connective
15
Change the statement according to precedence p -> q -> r -> s
(p -> (q -> (r -> s)
16
What is the THIRD BASE for Propositional Logic
Law of Non-Contradiction
17
Prove that (p v q) ^ [(¬p) ^ (¬q)] is a contradiction
It really is a contradiction
18
p -> q becomes ¬ q - > ¬ p What Related Implications is this?
Contrapositive
19
(¬p) ^ q What is the major connective?
^
20
It is a new proposition constructed by combining one (1) or more existing propositions
Compound Proposition
21
Change the statement according to precedence p ^ q -> q v p
(p ^ q) -> (q v p)
22
Prove that (p v q) v [(¬p) ^ (¬q)] is a tautology
It really is a tautology
23
It is a declarative sentence that is either false or true (NOT both)
Proposition
24
420 < 69 Is this statement a proposition? If yes, what is the truth value
Yes, False
25
Prove that p v ¬q is a tautology
It is not a tautology, but a contingency
26
Prove that q v ¬( p -> q) is a contradiction
It is not a contradiction, but a contingency
27
What is the FIRST BASE for Propositional Logic
Law of Identity or "Logical Identity"
28
p: Mindanao is an island in the Philippines. q: Find a number which divides your age. r: My seatmate will get a perfect score in the Logic exam. s: Welcome to the Philippines! what is ¬ p v ¬ r
Mindanao is not an island in the Philippines or My seatmate will not get a perfect score in the Logic Exam.
29
p: Mindanao is an island in the Philippines. q: Find a number which divides your age. r: My seatmate will get a perfect score in the Logic exam. s: Welcome to the Philippines! What is p ↔ q
Mindanao is an island in the Philippines if and only if You find a number which divides your age
30
p -> q becomes ¬ p - > ¬ q What Related Implications is this?
Inverse
31
p: Mindanao is an island in the Philippines. q: Find a number which divides your age. r: My seatmate will get a perfect score in the Logic exam. s: Welcome to the Philippines! What is q ⊕ r
Either My seatmate will get a perfect score in the Logic exam or Find a number which divides your age.
32
p: Mindanao is an island in the Philippines. q: Find a number which divides your age. r: My seatmate will get a perfect score in the Logic exam. s: Welcome to the Philippines! What is ¬ r -> q
If my seatmate will not get a perfect score in the logic exam, then find a number which divides your age.
33
Which statement is FALSE about a Proposition
Gives a command
34
It is any statement that is NEITHER a tautology NOR a contradiction
Contingency
35
It is any statement that is TRUE regardless of the truth values of the constituent parts
Tautology
36
Please do not run away Is this statement a proposition? If yes, what is the truth value
No