Logic Proofs
0.0(0)
Studied by 0 people
Call Kai
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Knowt PlayCard Sorting
1/7
Earn XP
Description and Tags
Proofs in logic
Last updated 3:42 PM on 3/25/26
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai |
|---|
No analytics yet
Send a link to your students to track their progress
8 Terms
1
New cards
Modus Ponens (MP)
⍺ → β
⍺ / β
2
New cards
Modus Tollens
⍺ → β
~β /~⍺
3
New cards
Disjunctive Syllogism (DS)
⍺ v β
~⍺ /β
4
New cards
Hypothetical Syllogism (HS)
⍺ → β
β → Υ / ⍺ → Y
5
New cards
Conjunction (Conj)
⍺
β. /⍺ • β
6
New cards
Addition (add)
⍺ / ⍺ v β
7
New cards
Simplification (Simp)
⍺ • β / ⍺
8
New cards
Constructive Dilemma (CD)
⍺ → β
Y → 𝛿
⍺ v Y / β v 𝛿
