심심하신분 논리학좀 도와주세요.ㅠㅠ

기호논리학이네요. 뭘 물어보시는지 알아야 답해드릴 텐데

.ㅠㅠㅠㅠㅠ p->q가 어떤 방식으로 참거짓을 따질 수 있고 이 pqr 사이의 관계가 어떤건지 모르겟어요.ㅠㅠㅠㅠ

T->F 빼고 나머지 다 참이에요

왜그렇게 되는지 알 수 있을까요??ㅠㅠ 그것만 알면 끝날거같은데ㅠㅠㅠㅠ

진리표 그려보시죠

그니깐 f가 t가되는건 참인데 t가f되는게 거짓이라는게 이해가 안돼요ㅠ

P>q 는 ~(p&~q)로 바꿀 수 있는데 이유는 조건문은 p이면 q라는 명제는 p이면서 ~q일 수는 없기 때문이죠

V(or)는 F V F빼고 다 참.

감사합니다.!!!

p>q 가 t니까 당연히 참이죠

그니깐 f가 t가되는건 참인데 t가f되는게 거짓이라는게 이해가 안돼요ㅠ

'내가 새라면 하늘을 날텐데' 라는 문장이 참이라고 쳤을때 '내가 새인데 하늘을 날지 않았다' 는 문장은 거짓이고 나머지 '내가 새라면 날텐데' '내가 새가 아니라면 날텐데' '내가 새가 아니라면 날지 않을텐데' 는 참입니다

문장으로 이해가 안되신다면 벤다이어그램을 그려보시죠. p이면 q이다. 는 p가 q의 부분집합임을 나타내는 것이니까요. p->~q ~p->q ~p->~q를 각각 그린 그림에서 어디에 속하는지 판단하셔도 될겁니다.

또한 A->B의 정의는 A인데 B가 아니지는 않다. 이건데 이걸 기호로 나타내면 ~(A&~B) 입니다. 이걸로도 같은 결론을 내릴 수 있겠죠

아 그럼 참이 참으로 갈 떄는 무조건 참이라고 가정하고 시작하는건가요?!!!!

그냥 외워도 무방합니다. 가정이 거짓이면 무조건 참이구요. 가정이 참인데 명제가 참이라면 결론이 참이어야.해요.

드모르간법칙을 써서 괄호를 풀어주면 생각하기 더 편합니다. ~AvB