Phi 103 Final Prop Logic

Front 1

a proposition is the same as a statement

Back 1

true

Front 2

propositional logic is concerned with the truth value of propositions

Back 2

true

Front 3

a proposition can be true or false or neutral

Back 3

false

Front 4

a simple statement is made up of simpler statements

Back 4

false

Front 5

the truth value of a compound statement depends on the truth values of...

Back 5

its components

Front 6

a deductive argument can be valid or invalid, but not both

Back 6

true

Front 7

a statement can be valid or invalid, but not both

Back 7

false

Front 8

a statement can be deductive, inductive, but not both

Back 8

false

Front 9

an argument can be true or false, but not both

Back 9

false

Front 10

deductively sound arguments are true

Back 10

false

Front 11

a proposition has a truth value

Back 11

true

Front 12

if only one statement in a disjunction is true, the whole disjunction is false

Back 12

false

Front 13

the symbol used to indicate a negation &

Back 13

false

Front 14

each of the component statements in a conjunction is called a disjunct

Back 14

false

Front 15

a double negation has the same truth value as no negation

Back 15

true

Front 16

if just one statement in a conjunction is false, the whole conjunction is still true

Back 16

false

Front 17

p q p->q
t t t
t f f
f t t
f f t

Back 17

true

Front 18

p q p v q
t t t
t f f
f t f
f f f

Back 18

false

Front 19

in a conditional statement, "if" introduces...

Back 19

the antecedent

Front 20

in a conditional statment, "only if" introduces...

Back 20

the consequent

Front 21

when used in a statement "unless" is equivalent to...

Back 21

"if not"

Front 22

when used in a statement "but" indicates...

Back 22

a conjunct

Front 23

when used in a statement "although" indicates...

Back 23

a conjunct

Front 24

a conditional is false only when the antecedent is...

Back 24

true and the consequent is false

Front 25

when used in a statement "or" indicates...

Back 25

a disjunct

Front 26

propositional logic is the branch of deductive reasoning that deals with the logical relationships among...

Back 26

statements

Front 27

the symbolization for a conditional is...

Back 27

p->q

Front 28

the truth table test of validity is based on the fact that it's impossible for a valid argument to have true premises and...

Back 28

false conclusion

Front 29

in a conditional statement, "unless" introduces...

Back 29

the antecedent

Front 30

if i watch enough reality television shows will i have a sparkling personality

Back 30

p->q

Front 31

i have never watched a single cooking show and yet my personality sparkles

Back 31

~p&q

Front 32

i watch sunday news analysis shows regularly but that does not make me an interesting person

Back 32

p&~q

Front 33

you can watch tv or you can read me 23 shakespearean sonnets...

Back 33

pvq

Front 34

i'm a math expert, but i am no good at logic

Back 34

p&~q

Front 35

unless you wash the dishes, you cannot watch television

Back 35

~p->~q

Front 36

i watch reality tv only if my mother-in-law is visiting

Back 36

p->q

Front 37

whenever my cousin comes to visit we watch pro bowling

Back 37

p->q

Front 38

if you dont eat your pease, you cannot eat your pudding

Back 38

~p->~q

Front 39

you are the smartest person in the room, unless you count me

Back 39

~q->p

Front 40

unless you wish to risk neurotoxic shock, you should not eat that pufferfish

Back 40

~p->~q

Front 41

either our nation is the strongest military power, or some other nation is

Back 41

pvq

Front 42

the price of freedom is eternal vigilance

Back 42

p

Front 43

i will never have a sparkling personality unless i watch enough television reality shows

Back 43

~q->~p

Front 44

a,b,c=T p,q,r=F
c->b

Back 44

true

Front 45

a,b,c=T p,q,r=F
a&~q

Back 45

true

Front 46

a,b,c=T p,q,r=F
av~c

Back 46

true

Front 47

a,b,c=T p,q,r=F
p&~q

Back 47

false

Front 48

a,b,c=T p,q,r=F
~av~c

Back 48

false

Front 49

a,b,c=T p,q,r=F
a&(b&~q)

Back 49

true

Front 50

a,b,c=T p,q,r=F
pv(b->~q)

Back 50

true

Front 51

a,b,c=T p,q,r=F
av~(c->~q)

Back 51

true

Front 52

a,b,c=T p,q,r=F
~a&(b&~q)

Back 52

false

Front 53

a,b,c=T p,q,r=F
~p->(b->~q)

Back 53

true

Front 54

p->~q
q
therefore~p

Back 54

valid

Front 55

b->c
a->b
therefore (b&c)v(a&b)

Back 55

invalid

Front 56

p->q
therefore p->(p&q)

Back 56

valid

Front 57

p->q
~p->r
~p
therefore r

Back 57

valid

Front 58

(p->q)->(p->r)
~(p->q)
~r
therefore p

Back 58

valid

Front 59

z->(x&y)
(xvy)->z
therefore (x&y)->(xvy)

Back 59

valid

Front 60

(~y->~x)&x
z->~y
therefore z

Back 60

invalid