Rarer Logic rules Flashcards

1
Q

ADD

A

p TF PvR

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

MC

A

Q TF p->Q or ~P TF P->Q

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

Trans

A

P->q TF/FT ~Q->~P

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

CJB

A

Conjunctions yield biconditions or otherwise

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

NCJ

A

~P or ~Q TF ~(P and Q)

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

COM

A

Inverts symmetrical relations

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

VAC

A

exists(P) where b has not variable and isnt under scope = P

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

Qcom

A

Switches order of quantifiers

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