Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
14 Cards in this Set
- Front
- Back
propositional logic
|
the fundamental elements are whole statements
|
|
simple statement
|
one that does not contain any other statement as a component; denoted by single uppercase letters
|
|
compound statement
|
one that contains at least one simple statement as a component
|
|
negation
|
it is not the case that...
|
|
conjunctive statement/conjunction
|
D and C
|
|
disjunctive statement
|
either A or B
|
|
conditional statement
|
if A then B
A= antecedent B= consequent material implications |
|
biconditional statement
|
A if and only if B
material equivalence |
|
main operator
|
one of the symbols- has as its scope everything else in the statement
|
|
truth value- negation
|
~p is false when p is true
~p is true when p is false |
|
truth value- conjunction
|
true when its two conjuncts are true and is false in all other cases
|
|
truth value- disjunction
|
true when at least one of the conjuncts is true and otherwise false
|
|
truth value- conditional
|
false when the antecedent is true and the consequent is false
true in all other case |
|
truth value- biconditional
|
true when its two components have the same truth value
otherwise false |