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