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;
25 Cards in this Set
- Front
- Back
|
simple statement |
a statement is simple if and only if it does not contain any other statement as a component |
|
|
compound statement |
a statement is compound if and only if it contains at least one simple statement as a component |
|
|
well-formed formula (WFF) |
a syntactically correct arrangement of symbols like upper case letters, operators,logical punctuation marks, logical variables |
|
|
main operator |
the operator that determines the overall structure of the WFF |
|
|
subformula |
any well-formed part of a WFF |
|
|
curl ~ |
not (negation) |
|
|
dot . |
and (conjunction) |
|
|
wedge V |
or (disjunction) |
|
|
horseshoe |
if ____ then___(conditional) |
|
|
triple bar (symbol) |
if and only if (biconditional) |
|
|
parenthesis are used for all operators except the... |
negation symbol and the main operator |
|
|
the main operator is determined by... |
the meaning of the sentence and the punctuation marks in a sentence |
|
|
neither___nor___ is a negated disjunction? |
True |
|
|
___instead of___ ___without___ ___rather than___ are synonymous with.... |
____and not___ A.~B |
|
|
complex subject |
one that includes at least one of the operators i.e. Mary and John are students |
|
|
complex predicate |
one that includes at least one of the operators i.e. Bob went to New York and Boston. |
|
|
Not both Mary and John study hard. |
~(A.B) |
|
|
Both Mary and John do not study hard. |
~A . ~B |
|
|
curl |
not____ it is false that___ it is not true that___ it is not the case that___ |
|
|
dot (1) |
___and___ both___and___ ___but___ ___however___ ___nevertheless___ ___still___ ___but still___ ___although___ ___even though___ |
|
|
dot (2) |
___also___ not only ___but also___ ___yet___ ___whereas___ ___moreover___ ___as well as___ ___besides___ ___on the other hand___ ___while___
|
|
|
wedge |
___or___ Either___or___ ___unless___ ___or else___ ___alternatively___ |
|
|
horseshoe (1) |
if___then___ ___only if___ ___implies that___ ___entails that___ ___is a sufficient condition for___ |
|
|
horseshoe (2) |
___if___ ___in case that___ ___provided that___ ___given that___ ___on the condition that___ ___is a necessary condition for___ ___whenever___ ___as long as___ |
|
|
triple bar |
___if and only if___ ___is equivalent to___ ___is a sufficient and necessary condition for___ ___just in case that___ ___just in the event that___ ___just in so far as___ |
