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