Alex' Gardenアレックスの庭

Search

Folder: 5_Archive/Uni/Modules/Modules/ItL/VL/VL10

12 items under this folder.

Dec 06, 2024
2️⃣ Rule of double negation (DN)
Dec 06, 2024
3️⃣ Tertium non datur (TND)
Dec 06, 2024
And (minimal logic)
Dec 06, 2024
Biconditional (minmal logic)
Dec 06, 2024
Exclusive Disjunction (minimal logic)
Dec 06, 2024
Material conditional (minimal logic)
Dec 06, 2024
Negation (minimal logic)
Dec 06, 2024
Or (minimal logic)
Dec 06, 2024
🏛️ Classical Logic
Dec 06, 2024
👮‍♂️ Proof by case distinction (FU)
Dec 06, 2024
🤔 Intuitional Logic
Dec 06, 2024
🤡 Reductio ad absurdum (KR)