Alex' Garden
アレックスの庭
Search
Search
Dark mode
Light mode
Folder: 5_Archive/3_Resources/Uni/Modules/ItL/VL/VL10
12 items under this folder.
Jul 21, 2026
And (minimal logic)
Jul 21, 2026
Biconditional (minmal logic)
Jul 21, 2026
Classical Logic
Jul 21, 2026
Exclusive Disjunction (minimal logic)
Jul 21, 2026
Intuitional Logic
Jul 21, 2026
Material conditional (minimal logic)
Jul 21, 2026
Negation (minimal logic)
Jul 21, 2026
Or (minimal logic)
Jul 21, 2026
Reductio ad absurdum (KR)
Jul 21, 2026
Proof by case distinction (FU)
Jul 21, 2026
2⃣ Rule of double negation (DN)
Jul 21, 2026
3⃣ Tertium non datur (TND)