Advertisement Upgrade to remove ads

Implication

p -- > q

Converse

q --> p

Inverse

~ p --> ~ q

Contrapositive

~ q --> ~ p

Logically Equivalent Conditions

Original (p --> q) === Contrapositive (~q --> ~p)
OR
Converse (q --> p) === Inverse (~p --> ~q)

~ (p --> q) ===

p ^ ~ q

p ^ ~ q ===

~ (p --> q)

p -- > q (Orig) ===

~ q --> ~ p (Contrapositive)

q --> p (Converse) ===

~ p --> ~ q (Inverse)

~ q --> ~ p (Contrapositive) ===

p -- > q (Orig)

~ p --> ~ q (Inverse) ===

q --> p (Converse)

Conditional: If today is Easter, then tomorrow is Monday (write the Contrapositive)

Contrapositive: If tomorrow is not Monday, then today is not Easter

Negation of p --> q

p ^ ~ q

Conditional: If today is Easter, then tomorrow is Monday (write the Converse)

Converse: If tomorrow is Monday, then today is Easter.

Conditional: If today is Easter, then tomorrow is Monday (write the Inverse)

Inverse: If today is not Easter, the tomorrow is not Monday.

Conditional: If Tom is Ann's father, then Jim is her uncle and Sue is her aunt. (write Contrapositive)

Contrapositive: If either Jim is not Ann's uncle or Sue is not her aunt, then Tom is not her father

Conditional: If X, then Y AND Z

Contrapositive: If EITHER not Y OR not Z, then not X

Conditional: If X, then Y OR Z

Contrapositive: If not Y AND Z, then not X

Modus Ponens

p --> q
p
... q [VALID]
modus ponendo ponens: "the way that affirms by affirming"

Modus Tollens

p --> q
~ q
... ~ p [VALID]
modus tollendo tollens: "the way that denies by denying"

Elimination

p v q
~ p
... q [VALID]

Transitivity

p --> q
q --> r
... p --> r [VALID]

Generalization

p
... p v q

Specialization

p ^ q
... p

Proof by Division into cases

p v q
p --> r
q --> r
... r [VALID]

Conjunction

p
q
... p ^ q

Contradiction

~ p --> C
... p

Converse Error

p --> q
q
... p [INVALID]

Inverse Error

p --> q
~ p
... ~ q [INVALID]

p OR q ===

~ p --> q

DeMorgans Laws

~(p ^ q) === ~p v ~q
~(p v q) === ~p ^ ~q

p --> q ===

~ p v q

p --> q ===

~q --> ~p

p <--> q ===

(p --> q) ^ (q --> p)
(p ^ q) v (~p ^ ~q)

Vacuously True

Hypothesis is False

Implication is False

ONLY when hyp (p) is T and conc (q) is F
(p(T) --> q(F))

Please allow access to your computer’s microphone to use Voice Recording.

Having trouble? Click here for help.

We can’t access your microphone!

Click the icon above to update your browser permissions above and try again

Example:

Reload the page to try again!

Reload

Press Cmd-0 to reset your zoom

Press Ctrl-0 to reset your zoom

It looks like your browser might be zoomed in or out. Your browser needs to be zoomed to a normal size to record audio.

Please upgrade Flash or install Chrome
to use Voice Recording.

For more help, see our troubleshooting page.

Your microphone is muted

For help fixing this issue, see this FAQ.

Star this term

You can study starred terms together

NEW! Voice Recording

Create Set