목록이산수학#논리적동치#modusponens#modustolles (1)

from palette import colorful_colors

[이산수학] 논리적 동치, Modus Ponens, Modus Tollens

1. Logical Equivalence(논리적 동치) 두 명제 p, q에 대하여 가능한 모든 경우에 대해 같은 진리값을 가지면 p, q는 논리적 동치라고 부른다. 기호로는 p ≡ q로 표현한다. conditional - disjunction equivalence(조건 - 논리합 동치): p → q ≡ ¬p ∨ q (증명은 진리표로 가능) 문제풀때 →가 보이면 항상 바꿔주자! Demorgan's Law(드 모르간 법칙): ¬(p∧q) ≡ ¬p ∨ ¬q ¬(p∨q) ≡ ¬p ∧ ¬q 전체의 부정과 각각의 부정에 관한 법칙 (증명은 진리표로 가능) commutative Law(교환법칙): p ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p 순서를 바꿔도 상관없다. associative Law (결합법칙): (..
CS 학부과목/이산수학 2023. 1. 21. 21:02
이전 Prev 1 Next 다음