#deduction Logic Symbols Flashcards
1
Q
What is “Atomic Sentence” ?
A
Sentences that can be symbolized with letters
2
Q
“¬” for …..
A
negation
3
Q
“A” , “¬¬A” are ……
A
logically equivalent
4
Q
“&” is for ……
A
conjunction
5
Q
“∨” for ……
A
Disjunction
6
Q
“V” is ……. or
A
inclusive
7
Q
¬( A V B ) means …….
A
neither ….. nor …….
8
Q
Exclusive or can’t be ……
A
both
9
Q
→ for ……
A
conditional
10
Q
↔ for …….
A
Biconditional means that two sentences must be true or false both at same time
11
Q
“Unless” can be paraphrased to …..
A
“V”