* 항진명제와 모순명제 - 항진명제 : 합성명제를 구성하는 단순 명제들의 진리값에 관계없이, 그 합성 명제의 진리값이 항상 참의 값을 가지는 명제 - 모순명제 : 합성명제를 구성하는 단순 명제들의 진리값에 관계없이, 그 합성 명제의 진리값이 항상 거짓의 값을 가지는 명제 - ex> p ~p p∨(~p) p∧(~p) T F T F F T T F (항진명제) (모순명제) * 논리적 동치관계 : 두 명제 p, q의 쌍방조건 p→q가 항진명제이면, 두 명제 p,q는 논리적 동치라 하고, p≡q 또는 p⇔q라고 표시한다. (명제 p와 q는 같은 논리값을 가진다는 의미이다) - 논리적 동치관계의 기본법칙 논리적 동치관계 법칙 논리적 동치관계 법칙 p∨p⇔p p∧p⇔p 멱등법칙 p∨T⇔T p∨F⇔p p∧T⇔p p∧F⇔F 항등법칙 ~T⇔F ~F⇔T p∨(~p)⇔T p∧(~p)⇔F 부정법칙 ~(~p)⇔p 이중부정법칙 p∨q⇔q∨p p∧q⇔q∧p p→q⇔q→p 교환법칙 (p∨q)∨r⇔p∨(q∨r) (...
#
결합법칙
#
이산수학
#
이중부정법칙
#
조건법칙
#
추론
#
추론법칙
#
항등법칙
#
항진명제
#
허위추론
#
유효추론
#
분배법칙
#
부정법칙
#
교환법칙
#
논리
#
논리적동치
#
대우법칙
#
드모르간
#
멱등법칙
#
명제
#
모순명제
#
흡수법칙
원문 링크 : 논리와 명제(2)
