Final Exam Flashcards Preview

Elementary Symbolic Logic > Final Exam > Flashcards

Flashcards in Final Exam Deck (46)
Loading flashcards...
1

Truth value

whether statement actually true/false

2

Truth function logic: complete

proves all valid arguments

3

Truth functional logic: soundness

only proves valid arguments

4

Valid

not possible to have all true premises and false conclusion

5

Counterargument

all true premises, false conclusion

6

Tautologically

true, can't be false

7

self-contradiction

logically false, can't be true

8

Inductive strength

likelihood conclusion true based on strength of argument

9

Truth functional compound sentence

truth value determined by value of simple sentences

10

Truth table for biconditional arrow

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

11

Truth table for single arrow --->

T --> F is false

12

if x then y

X --> Y

13

x only if y

X --> Y

14

X if Y

Y --> X

15

X is necessary for Y

Y --> X

16

X is sufficient for Y

X --> Y

17

X unless Y

hook Y --> X

18

X if not Y

hook Y --> X

19

TVA

value for each letter "s"

20

Open wff

at least 1 free variable not bound to quantifier

21

Closed wff

no free variables not bound to quantifier

22

Truth functionally false

all F's on Truth table

23

Truth functional true

all T's on truth table

24

Some F/some T on truth table

truth functionally contingent

25

T-F satisfiable

at least 1 truth tva
(contingent/TFT)

26

T-F falsifiable

at least 1 F tva
(contingent or TFF)

27

Can valid argument have false conclusion?

Yes

28

T-F consistent

1 tva where all members true (1 row)

29

T-F equivalent

no tva where truth values differ

30

Sound argument

valid, and all true premises