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