[일반] 구문론적으로만 생각하면 안 되는 듯

[기괴공학도(mecheng98)]

의미론적으로도 생각해야 되는데,

개념을 막 배우고 나서 바로 의미론적으로 생각이 안 된다 ㅠㅠ

[익명(221.157)]

구체적으로 예가?

[기괴공학도(mecheng98)]

밑에 문제요 - 훈다리 훈다리

[익명(221.157)]

구문론과 의미론의 차이가 머임?

[기괴공학도(mecheng98)]

|-와 |=의 차이요 - 훈다리 훈다리

[익명(221.157)]

의미가 먼저임 구문이 먼저임?

[기괴공학도(mecheng98)]

구문론적 귀결이 |-이고 의미론적 귀결이 |=이에요 - 훈다리 훈다리

[익명(221.157)]

아니 그건 아는데 논리에서 구문이 먼저임 의미가 먼저임?

[기괴공학도(mecheng98)]

둘 다 중요한 듯 - 훈다리 훈다리

[익명(221.157)]

나도 정주희 교수님 책 갖고있는데, 연습문제 1.33 어떻게 생각함?

[기괴공학도(mecheng98)]

참, 역도 참. - 훈다리 훈다리

[익명(221.157)]

왜?

[기괴공학도(mecheng98)]

A가 항진일 때 B가 항진이면 A → B는 항진이다. A→B가 항진일 때 A가 항진이면 B도 항진이어야 한다. - 훈다리 훈다리

[익명(221.157)]

"A가 항진일 때 B가 항진이면"이 무슨뜻임? "A가 항진이다"는건 조건이 아니라 하나의 문장인데, "A가 항진일 때"가 따로있고 "A가 항진이 아닐때"가 따로있음?

[익명(117.111)]

조건문의 전검이 조건문인 경우인ㄷ 왜 안되냐? - dc App

[기괴공학도(mecheng98)]

Tautology(a) → (Tautology(b) → Tautology(implies(a,b))). - 훈다리 훈다리

[익명(221.157)]

그건 어느 체계에서 문장임?

[기괴공학도(mecheng98)]

1계논리 - 훈다리 훈다리

[익명(221.157)]

그럼 (Tautology(a) → Tautology(b)) → Tautology(implies(a,b)) 로 해석해야되는 거 아님?

[익명(221.157)]

그리고 (Tautology(a) → Tautology(b)) → Tautology(a → b)로 안 적은 이유는 뭐임?

[기괴공학도(mecheng98)]

아 잠시만 ㅋㅋㅋ (Tautology(a) → Tautology(b)) entails Tautology(implies(a,b))가 맞고 다시 생각해볼게. 내일 글 쓰겠음. 이만 잔다. - 훈다리 훈다리

[기괴공학도(mecheng98)]

http://m.dcinside.com/board/math/857
- 훈다리 훈다리

[기괴공학도(mecheng98)]

뻘소리해서 미안하고 진짜 자러간다. - 훈다리 훈다리

[김이요°(karma5)]

뿡