Untitled

Tips:

1. Premise가 AX → Universial Elimination

2. 만들

3. 할 수 있는 방법이 없다 → Negation Introduction

Subgoal: ~AX: ~p(x)

1. E.E 3번 tip을 이용 E.E

Subgoal: AX:(p(x) ⇒ ~AX: ~p(x))

1. 4번 tip을 적용

p(t) ⇒ ~AX:~p(x)

1. Chapter 6 Fitch Tip

p(t) assume

~AX: ~p(x)

1. Negation Intro로 ~AX: ~p(x)

• AX: ~p(x) ⇒ Sentence
• AX: ~p(x) ⇒ ~sentence

11/17 Class notes: