Terms

Question 1

Tautological Consequence

Answer 1

something is a tautological consequence if it is always true by virtue of the truth functional connectives. Proved via Truth Tables

Question 2

Tautological Equivilence

Answer 2

if two things are equivalent by virtue of the truth functional connectives. Their truth tables should match

Question 3

A Sound Proof

Answer 3

a valid argument with true premises

Question 4

Valid Argument

Answer 4

the conclusion must be true if the premises are true

Question 5

Atomic Well Formed Formula

Answer 5

predicate properly applied to variables (NOT CONSTANTS)

Question 6

Variable

Answer 6

a place holder that represents the relationship between two things. Eg: Taller(x, FatherOf(x)) x is a variable

Question 7

Sentence

Answer 7

a wff with a no free variables

Question 8

WFF

Answer 8

a well formed formula; anything that follows all the rules enclosed in a set of ()

Question 9

Vacuously true generalizations

Answer 9

True because there is nothing to satisfy the initial claim. All tetrahedrons are blue, this is true if there are no tetrahedtons

Question 10

Inherently vacuous generalizations

Answer 10

true because it relies on a nonexistent thing. purposefully misleading (?). all dodos are blue, true because dodos don’t exist.