형들 항진명제 질문좀

야간편돌이(175.196) 2013.03.15 02:31:32

조회 375 추천 0 댓글 4

항진명제가 해당 명제를 봤을때 항상 참인값이 나와야하는거지??
항진명제를 구하라는데
((p->q)∧~q)->p
요 위의 식은
((p∧~q)->(q∧~q))->p
((p∧~q)->F)->p
이렇게까지 하고나서 보니깐
p / q / (p∧~q)
T / T / F
T / F / T
F / T / F
F / F / F
이렇게 나왔는데
((p∧~q) -> F ) - - - - 이걸 A라고 가정하고
이건 T/F/T/T로 나오더라구
근데 A -> p 이 식을 보면
T/T/F/F로 A -> p 요 식이 p랑 같은데

이건 항진명진명제가 아닌거지??
항진명제는 그냥 식을 계속 옮기다보면 T/T/T/T가 나와야 하는거지??

이산수학 물어볼만한데도 프갤밖에 없을듯해서 ㅜㅜ

고정닉 0

전체 댓글 0개

등록순 최신순 답글순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	이번주 설문은 탈모 걱정 없어 보이는 머리숱 금수저 스타는?	운영자	25/07/14	-	-
AD	디지털 액세서리 기간한정 세일!	운영자	25/07/11	-	-
349754	야 나 깊갤러인데 나 프로그래밍가르쳐줘라 [2]	나인뮤지스이샘	13.03.16	75	0
349752	피자 벌써옴 ㄷㄷ [1]	ㅇㅇ(61.98)	13.03.16	1356	0
349751	ㅇㅇ형 제발 한번만 읽어주세요 [1]	징기스칸4	13.03.16	70	0
349750	징기스칸4가 싱글 게임의 제한을 깨뜨려 달라 하는.reason [3]	dd(1.214)	13.03.16	120	0
349748	뇌파 장애인도 피자먹었냐??? [2]	ㅁㄴㅇ(1.245)	13.03.16	94	0
349747	프갤 실북갤 입개르.jpg	dd(1.214)	13.03.16	60	0
349745	ㅋㅋ 피자 돌리느라 못 읽은 글들 읽고 왔다. [7]	ㅇㅇ(119.203)	13.03.16	166	0
349744	프갤 사건 요약(링크) [3]	야간편돌이(175.116)	13.03.16	241	6
349743	ㅇㅇ 형님 제발 제 부탁을 들어주시면 안될까요? [1]	징기스칸4	13.03.16	74	0
349742	vmware 우분투 12.10에서 터미널 어디에있나요?? [8]	신입뉴비(115.126)	13.03.16	70	0
349741	싱글게임의 제한 좀 깨뜨려 주세요 [3]	징기스칸4	13.03.16	68	0
349738	혹시나 해서 올리는 도미노피자 쿠폰 사용방법 .jpg [1]	dd(1.214)	13.03.16	101	0
349737	백이	백이.	13.03.16	37	0
349736	ㅇㅇ형님 감사합니다.	ㅇㅇㅇ(175.223)	13.03.16	44	0
349735	아 휫자.... [2]	Colombia	13.03.16	60	0
349734	ㅇㅇ횽님 ㄳㄳ~	dd(1.214)	13.03.16	71	0
349733	프수님 이야기 [12]	근성가이(211.237)	13.03.16	3381	17
349732	airwig은 어찌된거임? [2]	ㅇㅇ(223.33)	13.03.16	122	0
349731	지금 밖인데 번호 받았는데 먹는방법 좀요! [4]	ㅇㅇ(211.234)	13.03.16	66	0
349730	난 내 돈으로 사먹어야겠다 [4]	에어로홍	13.03.16	79	0
349729	난 새벽에 오늘을 대비해서 [3]	백이.	13.03.16	41	0
349727	ㅇㅇ형님 감사히 먹겠습니다.	ㅇㅇ(211.234)	13.03.16	30	0
349724	ㅇㅇ님 피자 잘먹을게요 ㅠㅠ	인간(110.35)	13.03.16	36	0
349723	ㅇㅇ 형님 잘먹겟습니다	백이(182.214)	13.03.16	35	0
349722	성님 잘먹겠습니다	ㅇㅇ(61.98)	13.03.16	26	0
349719	ㅇㅇ 횽 잘먹겠습니다	DART(116.41)	13.03.16	48	0
349718	감사합니다 잘먹겠습니다 [1]	야간편돌이(175.116)	13.03.16	64	0
349715	@@@@@@@ 20130316 프갤 피자대첩 공휴일로 지정합니다 @@@@@@@@@@ [1]	dd(1.214)	13.03.16	62	0
349714	급한일 있어서 먼저 나간다 피자는 잘받았어. 내일 11시꺼로 예약함	규식이(218.153)	13.03.16	33	0
349713	ㅇㅇ성님 싱글제한 깨달라는 꾸준놈좀 도와주세요 [1]	@앱벌이	13.03.16	69	0
349712	★★★★★★★ 앞으로 프갤에 글올릴때 이 짤방으로 올리세요 ★★★★★★★	dd(1.214)	13.03.16	62	1
349711	싱글게임의 제한을 깨뜨려 주실 분 구합니다	징기스칸4	13.03.16	34	0
349710	프갤은 대 ㅇㅇ시대를 맞이한다	백이(182.214)	13.03.16	40	0
349708	싱글게임의 제한을 깨뜨려 주실 분 구합니다. [2]	징기스칸4	13.03.16	72	0
349704	메일로 쿠폰 왔다	@앱벌이	13.03.16	33	0
349703	설마가 아니구... [9]	ㅇㅇ(119.203)	13.03.16	119	0
349702	★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★★☆ㅇㅇ성님 차냥☆★ [1]	dd(1.214)	13.03.16	37	1
349701	ㅇㅇ형 잘먹겠습니다♡	ㅁㄴㅇ(1.245)	13.03.16	30	0
349700	쿠폰 입력하는 방법좀 알려줘 ㅠㅠ 어디서 뭘 해야하는지 ㅠㅠ	규식이(218.153)	13.03.16	30	0
349699	이메일로 피자옴 [2]	백이(182.214)	13.03.16	50	0
349698	왔구나 왔어~~~	ㅁㄴㅇ(1.245)	13.03.16	30	0
349697	피자 이메일로 다시 보냈냐 ?	규식이(218.153)	13.03.16	35	0
349696	대충 이순서 맞지? [3]	ㅇㅇ(61.98)	13.03.16	88	0
349695	그나저나 airwig 버로우탄거냐? [1]	dd(1.214)	13.03.16	91	0
349694	ㅇㅇ 형이 다시 하나하나 보내 [4]	ㅇㅇ(121.163)	13.03.16	91	0
349693	ㅋㅋㅋㅋ아 생각해보니 죤트웃기넼ㅋㅋㅋ [5]	dd(1.214)	13.03.16	111	0
349691	두명한테 한개씩 보냈는데 버튼이 사라짐 ㅋㅋ [3]	ㅇㅇ(119.203)	13.03.16	95	0
349690	성님 선착순 20명 들었는데 왜 안주세요	@앱벌이	13.03.16	35	0
349689	책상에 폰놓고 다시 공부팜ㅋㅋ [1]	야간편돌이(175.116)	13.03.16	57	0
349687	19개 받은 분 젤 아래 번호 가지시고 메일로 불러주세요 [8]	ㅇㅇ(119.203)	13.03.16	133	0
뉴스	'전국노래자랑', 7/13(일) 충남 홍성군 편! 신흥 트롯황태자 김용빈 출격!	디시트렌드	07.11