Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

A → ¬B ⊭ ¬(A → B)

is not a logical consequence of

i.e.

is not a logically valid argument

| A → ¬B | ||

| ¬(A → B) |

A | B | A → ¬B | A → B | ¬(A → B) |

T | T | F | T | F |

T | F | T | F | T |

F | T | T | T | F |

F | F | T | T | F |

A → ¬B ⊭ ¬(A → B)