논리철학 논고

6.1203 ~ 6.1223

소프트웨어학부

2026403042 이지환

진리조합의 직관적 방법

p, q: 명제 ~: 부정 .: 논리곱(AND)

직관적 방법

진리표

결론

논리학의 명제들은 동어반복이 되어
아무말도 하지 않는다.

영위법

영위법

q가 p로부터 따라나온다 → p ⊃ q

q가 p⊃q . p로부터 따라나온다 → (p ⊃ q . p) ⊃ q

Q & A