P: N → not OP: not M → OP: M → PC: ?

Eliyahu-Ohevshalom May 1, 2022

Question

Can this be better explained? I have a hard time understanding the arrows here

Create a free account to read and take part in forum discussions.

Already have an account? log in

Emil-Kunkin May 6, 2022

Hi Eliyahu,

The arrows indicate a conditional/if then/sufficient and necessary statement.

For example, we could take a statement like "if it rains I will be late" and diagram it as
R -> L

Here we have three premises:
N -> Not O
(and its contrapositive O -> Not N)

Not M -> O
(and its contrapositive Not O -> M)

M -> P
(and its contrapositive Not P -> Not M)

We could link several of these together to form

N -> Not O -> M -> P

Which is basically saying that if N, then P