Chapter 6: Natural Deduction
0.0(0)
Studied by 0 people0.0(0)
Call with Kai
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Knowt PlayCard Sorting
1/15
There's no tags or description
Looks like no tags are added yet.
Last updated 8:38 PM on 12/12/25
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai |
|---|
No analytics yet
Send a link to your students to track their progress
16 Terms
1
New cards
∧Intro
2
New cards
∧Elim₁ and ∧Elim₂
3
New cards
∨Intro₁ and ∨Intro₂
4
New cards
∨Elim
5
New cards
→ Intro
6
New cards
→ Elim
7
New cards
¬Intro
8
New cards
¬Elim
9
New cards
↔Intro
10
New cards
↔Elim₁ and ↔Elim₂
11
New cards
∀Elim
12
New cards
∃Intro
13
New cards
∀Intro
Provided the constant t does not occur in φ or in any undischarged assumption in the proof of φ[t/v].
![<p>Provided the constant t does not occur in φ or in any undischarged assumption in the proof of φ[t/v].</p>](https://knowt-user-attachments.s3.amazonaws.com/827d43df-811b-48fe-b0c6-0d4fed1fc46f.jpg)
14
New cards
∃Elim
provided that the constant t does not occur in ∃vφ or in ψ or in any undischarged assumption other than φ[t/v] in the proof of ψ.
![<p>provided that the constant t does not occur in ∃vφ or in ψ or in any undischarged assumption other than φ[t/v] in the proof of ψ.</p>](https://knowt-user-attachments.s3.amazonaws.com/98edd8a6-ad35-461a-b307-0cec308ba8ee.jpg)
15
New cards
=Intro
16
New cards
=Elim
Note 
Flashcards (20)