Final Exam

Question 1

Truth value

Answer 1

whether statement actually true/false

Question 2

Truth function logic: complete

Answer 2

proves all valid arguments

Question 3

Truth functional logic: soundness

Answer 3

only proves valid arguments

Question 4

Valid

Answer 4

not possible to have all true premises and false conclusion

Question 5

Counterargument

Answer 5

all true premises, false conclusion

Question 6

Tautologically

Answer 6

true, can’t be false

Question 7

self-contradiction

Answer 7

logically false, can’t be true

Question 8

Inductive strength

Answer 8

likelihood conclusion true based on strength of argument

Question 9

Truth functional compound sentence

Answer 9

truth value determined by value of simple sentences

Question 10

Truth table for biconditional arrow

Answer 10

TT/FF are Truth (same = true, otherwise false)

Question 11

Truth table for single arrow —>

Answer 11

T –> F is false

Question 12

if x then y

Answer 12

X –> Y

Question 13

x only if y

Answer 13

X –> Y

Question 14

X if Y

Answer 14

Y –> X

Question 15

X is necessary for Y

Answer 15

Y –> X

Question 16

X is sufficient for Y

Answer 16

X –> Y

Question 17

X unless Y

Answer 17

hook Y –> X

Question 18

X if not Y

Answer 18

hook Y –> X

Question 19

TVA

Answer 19

value for each letter “s”

Question 20

Open wff

Answer 20

at least 1 free variable not bound to quantifier

Question 21

Closed wff

Answer 21

no free variables not bound to quantifier

Question 22

Truth functionally false

Answer 22

all F’s on Truth table

Question 23

Truth functional true

Answer 23

all T’s on truth table

Question 24

Some F/some T on truth table

Answer 24

truth functionally contingent

Question 25

T-F satisfiable

Answer 25

at least 1 truth tva

contingent/TFT

Question 26

T-F falsifiable

Answer 26

at least 1 F tva

contingent or TFF

Question 27

Can valid argument have false conclusion?

Answer 27

Yes

Question 28

T-F consistent

Answer 28

1 tva where all members true (1 row)

Question 29

T-F equivalent

Answer 29

no tva where truth values differ

Question 30

Sound argument

Answer 30

valid, and all true premises

Question 31

Can anything be consistent and contradictory?

Answer 31

No!

Question 32

Can it be equivalent but inconsistent?

Answer 32

Yes, if all false

Question 33

T-F valid

Answer 33

no tva all premises true and conclusion false

Question 34

inconsistent premises

Answer 34

at least 1 false premise

Question 35

T-F contradictory

Answer 35

always differ in tva assignment

Question 36

All compound sentences in TRUTH FUNCTIONAL LOGIC are…

Answer 36

truth functional compound sentences

Question 37

if something is a model for a set of sentences…

Answer 37

all of the sentences in set are true on that TVA

Question 38

Use contradiction rule: how?

Answer 38

Assumption that is the opposite of contraction
Show two other things contradict

then do hook I to introduce, hook E to eliminate

Question 39

vE rule: how do you do it?

Answer 39

Take each side of the “or” as assumptions and show that they both reach conclusion.

Question 40

Biconditional arrow introduction

Answer 40

show both sides lead to the other

Question 41

Something

Answer 41

and symbol

Question 42

Everything

Answer 42

Arrow symbol

Question 43

Names

Answer 43

lowercase a, b, c … u

Question 44

Predicates

Answer 44

Capital letters

Question 45

variables

Answer 45

lowercase v, w, x, y, z

Question 46

Quantifiers

Answer 46

backwards E and upside down A