조건문 P -> Q 의 진리표에 의문이 있습니다.

조건문 P -> Q 의 진리표에 의문이 있습니다.

작성일 2005.11.01댓글 2건
    게시물 수정 , 삭제는 로그인 필요

조건문 ' P이면 Q이다 ' 즉 , P -> Q 의 진리표는 다음과 같이 표현됩니다.

 

P   Q   P->Q

T   T    T

T   F     F

F   T     T

F   F     T

 

즉, 위의 진리표에 의하면 P가 거짓이고 Q가 참일 때 P->Q는 참이라고 합니다.

그런데 그와 다른 예를 몇가지 찾았습니다.

 

예1) 노무현 대통령이 한나라당 소속이면, 한나라당은 야당이다.

 

이 조건문은 분명 거짓입니다.

왜냐하면 대통령이 한나라당소속이라면 한나라당은 여당이니까요.

 

한편 이 조건문을 P와 Q로 나누어보면

P:  노무현 대통령은 한나라당소속이다.

Q: 한나라당은 야당이다.

이렇게 될 것입니다.

 

그리고 P는 거짓이고, Q는 참입니다.

 

따라서 최종적으로 P는 거짓이고, Q는 참인데 P->Q는 거짓이됩니다.

 

이 것은 위의 진리표와 다른 결과입니다.

그렇다면 저 진리표는 틀린게 아닌가요?

 

PS.

그 밖에도 P는 거짓이고, Q는 참인데, P->Q가 거짓인경우의 예를 몇 개 더 들어보겠습니다

 

예2)  2 < 0 이라면 2 + 0  > 0 이다.

예3)  노무현 대통령이 만 19세이하라면, 노무현대통령은 선거권을 가질 것이다.

 

 

 


#조건문 p→q #파이썬 조건문 pass #python 조건문 #python 조건문 한줄 #python if 조건문 #pandas loc 조건문 #pandas 조건문 #postgresql 조건문 #php 조건문 #plc 조건문

profile_image 익명 작성일 -

P가 거짓이면 Q는 참과 거짓을 따질필요가 없이 무조건 참인것입니다.

아마 질문자께서는 P의 참거짓 여부에 따라 Q가 달라질 경우는 잘못된 것이 아니냐고 반문하시는거 같네요.

결정적으로볼때 Q가 거짓이냐 참이냐는 중요하지 않은거죠.

전제가 이미 틀렸으니까 전제가 틀렸을때 결론은 어떤것이 나와도 상관없이 그 전체 명제는 참이 되는 거죠.

우리가 구하는것은 Q의 참거짓 여부가 아닌 P->Q의 참거짓 문제니까요.

Q만 생각하면 안되겠죠, P의 참거짓 여부까지.

 

 

 

아, 설명이 충분하나 모르겠네요.^^;

profile_image 익명 작성일 -

질문자님께서 말씀하신 것은 집합론에서 배우게 되는데요.

 

p->q가 참이다 거짓이다 이 뜻은 윗분 말씀대로 Q의 참거짓 여부가 아니라

P->q의 참거짓 문제입니다.

 

글고 p->q   에서 전제가 거짓이면 p->q 이 참이된다는 것은 감각적으로 이해가 되는것은 아니지만 수학적으로 이렇게 정리하기로 한것입니다.

 

이것이 전제되어야만 수학적으로 여러가지 문제거리가  해결될수 있거든요.

 

낸들 정수의 0승이 왜 1이겠어요~^_^       ....괴델의 불완전성 정리...

조건문 P -> Q 의 진리표에 의문이...

조건문 ' P이면 Q이다 ' 즉 , P -> Q 의 진리표는 다음과 같이 표현됩니다. P Q P->Q T T T T F F F T T F F T 즉, 위의 진리표에 의하면 P가 거짓이고 Q가 참일 때 P->Q는 참이라고 합니다....

p이면 q이다의 부정은??도와주십쇼!

... 한가지 의문이 계속 발목을 잡네요 p이면 q이다의 부정이 p이면... 수도 있습니다. pq 의 진리표p pq q T T T T F F F T T F T F 인데, 이는 사실상 조건문의 정의로...

명제 'p' , 'pq'에대한 의문.

... (이하 p(x))→조건q(이하 q(x))'의 꼴로 나타낼수 있다고 다음과 같이 정석에 나와있습니다. (본문 : 명제 'x가... 준비물 2 : 조건문(conditional) 조건문을 논리학적으로...

명제, 진리표 작성이 이해가 안가요

... 알고 있습니다. 마약은 현재 불법이니 거짓 명제라고... 물론 질문자님이 의문을 가지는 명제가 '좋은'이라는... 질문자님이 생각하시는 그 진리표가 나오려면 (PQ) & (~P...

명제 p->q의 집합 질문

... 수 있습니다. 이상 예를 들어 설명하였구요. 아 래 1). pq 의 진리표 ( T ; 참, ...... F ...... 거짓 ) ※ 위'조건문' 일 경우에는 p 가 진(참)이고, q 가 위(거짓)인 경우 그...

pq의 부정 설명 자세하게

... 실질조건문진리표는 다음과 같이 주어집니다. P Q PQ T T T T F F F T T F F T 즉, PQ... 그런데 우리는 P→Q와 동일한 진리값을 주는 복합명제를 만들어낼 수 있습니다....

p이면 q이다 명제

... P이면 Q이다 를 진리표로 나타내면 T T T T F F F T T F F T... 논리학에서 조건절 pq 라는 놈은 'p의 진리집합을 전체... 만들어진 명제의 경우 좀 어색하게 보일 수도 있습니다.

진리표 관련해서 질문 드립니다.

... 실질 조건문 'if P then Q'가 'not P or Q'와 동치인 이유는 논리학 입문 단계에서는 설명하기 다소 어려운 감이 있습니다. 일단은 '정의가 그렇다'라고 생각해 두시면...

논리학공부중 멘붕왔어요.

... "라는 의문을 가진다면, 우리는 정상처럼 보입니다.... 수 있습니다. 논리학에서의 조건문 pq... 때문에 p→q를 "p이면 q이다"라고만 해석하고 진리표만 아는...

논리학에서 pq 와 ~p or q 가 어떻게...

진리표로 말구요... 말로 좀 설명해주세요... 보통이... 여기서 pq 은 ~p or q로 정의된 것입니다. 순수한... 수 있습니다. 결론 : 반드시 조건문 p → q을 ~p or q로 정의해야하는...