728x90
항진명제, 함의명제, 동치, 모순?
Thm1) (합의법칙, 단순화법칙, 논리합의 삼단논법)
Pf)
Thm2) (이중부정법칙, 교환법칙, 멱등법칙, 대우법칙)
Pf)
Thm3) (드모르간의 법칙)
Pf)
Thm4) (결합법칙, 분배법칙, 추이법칙)
Pf)
Thm5) (구성적 양도논법, 파괴적 양도논법)
Thm6) (긍정식 삼단논법, 부정식 삼단논법, 귀류법, 배리법)
Pf)
Thm7) (항진명제, 모순명제 관련성질)
Pf)
728x90