Test 3 Flashcards
(14 cards)
A compound statement is?
One that has at least one atomic statement as a component
An atomic statement is?
One that does not have any other statement as a component
~ means.
Name: tilde
Translates: not
A negation
. Means?
Name: dot
Translates: and
It’s a conjunction
V means?
Name: vee
Translates: and
It is a disjunction
–> means?
Name: arrow
Translates: if-then
It is a conditional
means?
Name: double arrow
Translates: if and only if
It is a biconditional
The main logical operator in a compound statement is?
The one that governs the largest component or components of a compound statement
A minor logical operator?
Governs smaller components
A well formed formula is?
A grammatically correct symbolic expression
A statement variable is?
A lowercase letter that serves as a placeholder for any statement ex: p, q, r, s
A compound statement is truth-functional if?
Its truth value is completely determined by the truth value of the atomic statements that compose it.
A material conditional is?
A conditional that is false only when its antecedent is true and consequent is false; otherwise, it is true.
A material biconditional is?
A conjunction of two material conditionals; it is true when its constituent statements have the same truth value and false when they differ in truth value.
