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;
23 Cards in this Set
- Front
- Back
Logically consistent
|
it is possible for all the members of the set to be true
|
|
logically inconsistent
|
it is not possible for all members of the set to be true
|
|
standard form
|
list of stated premises followed by the conclusion
|
|
deductive validity
|
an argument is deductively valid if and only if it is not possible for the premises to be true and the conclusion false
|
|
deductive soundness
|
an argument is sound if it is valid and the premises are all true
|
|
logically true
|
it is not possible for the sentence to be false
|
|
logically indeterminate
|
a sentence is logically indeterminate if and only if it is neither logically true nor logically false
|
|
logically equivalent
|
the members of a pair of sentences are logically equivalent if and only if it is not possible for one of the sentences to be true while the other is false
|
|
entailment
|
a set entails a sentence P of SL if and only if there is no tva under which each member of set is true but P is false
|
|
TF truth
|
true on every TVA
|
|
TF false
|
false on every TVA
|
|
TF indeterminacy
|
not TF true nor false
|
|
TF equivalence
|
sentences P and Q are TF equivalent iff there is no TVA on which P and Q have different truth values
|
|
a set is TF consistent if...
|
there is at least one TVA in which all members of the set are true
|
|
using a truth tree, a set is tf consistent if
|
there is at least one open branch
|
|
using a truth tree, a set is tf inconsistent if
|
it has a closed truth tree
|
|
P is tf false using a tree iff
|
set {P} has a closed truth tree
|
|
P is tf true using a tree iff
|
set {~P} has a closed true
|
|
P is tf indeterminate using a tree iff
|
neither {P} nor {~P} has a closed truth tree
|
|
If the truth tree for {P} is open, how does one find out if it is tf true or indeterminate
|
if there are 2^n recovered tvas, it is tf true. otherwise, it is tf indeterminate
|
|
P and Q are t.f. equivalent iff
|
{~(P≡Q)} has a closed tree
|
|
a set of sentences tf entails P iff
|
setU{~P} has a closed tree
|
|
An argument is TF valid if (using a tree)
|
the set consisting of the premises and the negation of the conclusion has a closed truth tree
|