Quiz 2 Flashcards Preview

Elementary Symbolic Logic > Quiz 2 > Flashcards

Flashcards in Quiz 2 Deck (20)
Loading flashcards...
1

P —> Q truth table is

All true

EXCEPTION: T F is False

2

X Y truth table

Only true if both TT or both FF

3

Not Both

—| ( A ^ B)

4

Neither nor

—| (A v B)

5

If X then Y

X —> Y

6

X only if Y

X —> Y

7

X is sufficient for Y

X —> Y

8

Whenever/assuming/given, x, y

X —> Y

9

X if Y

Y —> X

10

X is necessary for Y

Y —> X

11

X unless Y

Hook Y —> X

Also if not

12

X just in case Y

X ↔️Y

13

If and only if

X ↔️ Y

14

Value given to each letter of S

Truth value assignment

15

Truth tables test for

Semantic properties

16

Truth functionally true

True on every tva

S always true

17

All F’s on truth table

Truth functionally false

18

Some T some F on truth table

Truth functionally contingent

19

Truth functionally satisfiable

T on AT LEAST 1 TVA

(Contingent or TFT)

20

Truth functionally falsifiable

False on at least one TVA

TFF or contingent