Truth Table, Argument Forms, Morgan Transformation Flashcards

1
Q

Conjunction - P&Q

A

Special Case = TTT

The combination of P and Q results in P&Q is true

If there T for P, Q, and P&Q = a T goes there.

Always true when both are true

T
F
F
F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Disjunction - P v Q

A

Special Case = FFF

Opposite of Conjunction

T
T
T
F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Exclusive Disjunction - P w Q

A

Special Case = TTT and FFF

F
T
T
F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Conditional – P>Q

A
Only False when P is True and Q is False
T
F
T
T
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

BiConditional – P#Q

A

Only All True or All False

T
F
F
T

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Modus Ponens

A
Premises -  P >  Q
Premise      P
--------------------------
                              Q
Valid Argument
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Fools Modus Ponens

A

Premise - P > Q
Premise - Q
—————————
P

Invalid

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Modus Tollens

A

Premise - If P>Q
Premise - ~Q
————————
~P

Valid Argument

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Fools Modus Tollens

A

Premise - If P>Q
Premise - ~P
—————————–
~Q

Invalid Argument

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Hypothetical Syllogism

A

Premise If P>Q
Premise If Q>R
————————-
P>R

Valid

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Disjunctive Syllogism

A

Premise P v Q
Premise ~P
————————
Q

Valid Argument

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Constructive Dilemma

A
Premise P v Q
Premise   P>R
Premise   Q>S
-----------------------
                    R or S

Valid

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Destructive Dilemma

A
Premise P>R
Premise  Q>S
Premise  ~R or ~S
----------------------------
                          ~P or ~Q

Valid Argument

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

De Morgan Transformation

A

P>Q = ~(~Pv~Q)

~(P>Q) = (~Pv~Q)

PvQ = (~P&~Q)

~(PvQ) = (~P&~Q)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly