대우명제는 왜 원 명제와 동치명제인가?

삭제 | 편집 | 답글

의 대우명제는

두 명제는 동치명제이다. 원 명제가 참이면 대우명제도 참이고 아니면 대우도 아니다.

증명) 집합을 이용합니다.

가 참이면 집합 P 에 있는 원소는 집합 Q 에도 있다라는 것 입니다.

를 집합으로 표현 하면

가 됩니다.

이런 관계에 있으면

가 성립합니다. 즉 이를 명제로 나타내면

2011-09-21 22:24 , testid

삭제 | 편집 | 답글

그림이 한 번씩 사라지는 오류가 있네요.

열심히 작성하고 업로드 한 경우 허탈한 경우가 발생 할 수 있겠네요.

2011-09-21 22:32 , testid

삭제 | 편집 | 답글

음 올라왔을때는 아무 이상이 없었습니다.

근데 작성하면서 느낀게 몇개 있습니다.

1. 수식작업시

begin{displaymath}

begin{displaymath} x^{2} end{displaymath}

end{displaymath}

기존에 써있던 begin, end 이외에 수식버튼을 누르면 바로 저런게 떠버려서 귀찮게 지우는 작업이 있구요.

수식 작업이 끝나면 수식이 자동으로 닫히는 쪽으로 되면 여러모로 편할듯합니다.

2. 그림작업시

그림을 찾아올리는 과정이 다소 번거롭습니다.

그림 넣기를 누르기 전까지 그림이 올라가지 않는... 그런 상황도 그렇고...

preview 를 자동으로 옆에 뜨도록 하고, preview 버튼 위치에 그림 넣기 버튼이 있으면 한결 편해질듯한 느낌입니다. ^^

2011-09-21 22:47 , pl0892029

삭제 | 편집 | 답글

1번 현상은 왜 그런가 하고 있었습니다. 확인해서 가능하면 수정 하겠습니다.

2 번도 다시 한 번 보겠습니다.

2011-09-21 22:54 , testid