Understanding the Rules

[@Hanzala8956]

What a banger intro! Loved it

[@vijayar.c.8127]

Thank you, ma'am!

[@ewan_kingston]

Great video, thank you! Sometimes "Transposition" is known as "Contraposition" and "Tautology" as Redundancy (as in the "Power of Logic" book by Howard-Snyder, Howard-Snyder and Wasserman.

[@ewan_kingston]

@17:30 proof example 1
@ 21:14 proof example 2
@ 25:48 proof example 3