고등학교 논리 숙제예요ㅠㅠ

 

너는 한 사람을 사랑할 수도, 미워할 수도 있다.

만약 너가 한 사람을 사랑할 수 있다면 너는 아름다운 사람이다.

또한 너가 한 사람을 사랑할 수 있다면 너는 멋진 사람이다.

그러나 너가 한 사람을 미워한다면, 너는 아름다운 사람이 아니다.

또한 너가 한 사람을 미워한다면 너는 멋진 사람이 아니다.

그러므로 너가 멋진 사람이라면, 너는 아름다운 사람이다.

    

단순명제 1: 너 한 사람을 사랑할 수 있다. A

 

단순명제 2: 너는 한 사람을 미워할 수도 있다.. B

 

단순명제 3: 너는 아름다운 사람이다. C

 

단순명제 4: 너는 멋진 사람이다. D

 

 

이것을 기호를 포함한 명제논리로 번역하고 자연연역의 추론규칙(대우규칙, 단순함축) 사용으로 타당성을 증명하라고 합니다.. 도와주세요ㅠㅠ