Terms Flashcards
Tautological Consequence
something is a tautological consequence if it is always true by virtue of the truth functional connectives. Proved via Truth Tables
Tautological Equivilence
if two things are equivalent by virtue of the truth functional connectives. Their truth tables should match
A Sound Proof
a valid argument with true premises
Valid Argument
the conclusion must be true if the premises are true
Atomic Well Formed Formula
predicate properly applied to variables (NOT CONSTANTS)
Variable
a place holder that represents the relationship between two things. Eg: Taller(x, FatherOf(x)) x is a variable
Sentence
a wff with a no free variables
WFF
a well formed formula; anything that follows all the rules enclosed in a set of ()
Vacuously true generalizations
True because there is nothing to satisfy the initial claim. All tetrahedrons are blue, this is true if there are no tetrahedtons
Inherently vacuous generalizations
true because it relies on a nonexistent thing. purposefully misleading (?). all dodos are blue, true because dodos don’t exist.