Lp증명 도와주실분있나여?

[익명(219.115)]

댓글좀달아주세요 ..

[TonyMontana(thecoqproofassistant)]

? 도와드릴 수 있으면

[TonyMontana(thecoqproofassistant)]

도와드릴게요

[익명(219.115)]

((p1∨p3)∧(p2∨p3)) ⊃((p1∧p2)∨p3) 이거인데 교양과목교수가 기초적인거만알려주고 바로 실전문제줘서 못풀고잇네요

[TonyMontana(thecoqproofassistant)]

https://gall.dcinside.com/mgallery/board/view/?id=logic&no=1064

[익명(219.115)]

저거 그러면 저대로 워드에옮기면되나요?

[TonyMontana(thecoqproofassistant)]

제가 교수님께서 어떻게 문제를 내주셨는지를 모르니 답해드릴 수 없습니다 ㅠㅠ 사실, 전 LP가 뭔지도 모르겠어요.

[익명(219.115)]

아하.. 저도 가지고있는자료가 일본어 원문이라 보내드리기가 좀그렇네요 일단감사합니다..문제는 다음논리식이 LP로증명되는것을 보여라 에 저 식 준것이다라.ㅡ

[TonyMontana(thecoqproofassistant)]

LP가 뭔지 올려주실 수 있나요?

[익명(219.115)]

Łukasiewicz Propositional logic의축약어 라고는하고 정의는LP는 L1, L2, L3의 3가지 공리 타입과 mp라고 하는 하나의 추론 규칙만을 이용하여 여러 가지 논증을 증명해 나가는 체계입니다. 그런데, 지금까지 「증명」이라고 하는 프로세스를 미정의적으로(즉 직감적인 이해 하에) 실행해왔지만 이제는 이 과정을 정확하게 정의

[익명(219.115)]

정의자체가 깔끔하게 뭐라고정리안되있고 몇페이지로 길게 써있어서 설명이좀힘드네요

[TonyMontana(thecoqproofassistant)]

검색해보니 제가 모르는 거네요 ㅠㅠ 죄송합니다

[익명(219.115)]

https://m.dcinside.com/board/logic/1065

[익명(219.115)]

대충이런식인거같아요 ㅋㅋ.. 1학년교양인데 너무어렵네요

[TonyMontana(thecoqproofassistant)]

확실한 건 제 답변대로 적으시면 큰일난다는 거에요 ㅠㅠ 도움이 되지 못해서 아쉽네요

[익명(219.115)]

아닙니다 나머지는 어떻게든풀어서 괜찮을거같아요 늦은시간까지 감사합니다

[익명(219.115)]

아하감사합니당