코어논리학에 왜 전건분리 후건분리는 없노

[익명(117.111)]

[익명(218.146)]

(p&q)→r ↔ (p→r)V(q→r)을 전건분리라고 하나보네? 그거 논리적 추론과 증명에는 연산자들의 분배법칙 뭐 이런거 하는 데에서 나왔던 것 같은데, 다른 이름으로 어딘가 실려있을걸

[익명(218.146)]

검색해보니 이해황 자료들로 공부한 사람들은 이게 되게 중요한 동치 법칙이라고 생각하는 것 같은데, 실제 논리학 교재들에서 이해황이 전건 분리, 후건 분리 등으로 부르는 걸 그렇게 중요한 동치로 본 적은 없는 것 같다

[익명(211.247)]

전건분리랑 후건 분리가 대체 뭐냐?? 왠만한 한국어 입문서는 다 읽어 봤는데 ㄹㅇ 처음 들음

[익명(182.210)]

"p그리고q면 r"="p면r 또는 q면r"

[익명(182.210)]

"p면 q그리고r"="p면 q"그리고"p면r"

[익명(211.247)]

(p그리고q)면r = (p면r) 또는 (q면r) ?

[익명(211.247)]

p면 (q그리고r) = (p면q)그리고 (p면 r)?

[익명(182.210)]

맞음

[익명(211.247)]

ㄱㅅㄱ ㅅ 원래 모든 추론 규칙을 알 필요는 없고 특정 추론 규칙들로 나머지 모든 추론 규칙을 알수 있는 그런 추론규칙의 집합들을 교수님들이 골라서 책에 실리는거야

[익명(211.247)]

위에가 전건분리고 아래가 후건분리 맞지?

[익명(182.210)]

당연

[익명(211.247)]

ㅇㅋ ㄱㅅㄱㅅ