Elementary Logic Flashcards
(also called logical operator)
logical connective
is a symbol or a word which is used to connect two or more
sentences.
Logical Connective
can be expressed as a truth function.
Logical Connective
is the opposite of a statement, usually employing the word “not”.
Negation
symbol to indicate _ is ~
Negation
is a compound sentence formed by using the word and to join two simple
sentences.
Conjunction
The symbol for this is ⋀, stands for?
Conjunction
is a compound sentence formed by using the word or to join two simple
sentences.
Disjunction
The symbol for this is ⋁, stands for?
Disjunction
Is a type of relationship between two statements or sentences.
Implication
it is symbolized by a double-lined arrow pointing toward the right ⇒
Implication
Statement 𝑝 is called the
Premise of the implication
𝑞 is called the
conclusion
if, then
Implication
If and only if
Double implication