728x90 반응형 논리와 증명1 [SW EA/CT] 2_1. 논리와 증명 / 수와 표현 (문제+풀이) 1. 논리와 증명 문제 1. 다음 명제들이 항진명제라는 것을 진리표를 이용해서 보이시오. 1번. ~(~p∧ q) ∨ q 2번. (~p∨ q) ∨ (p ∧ ~q) (풀이) * 항진명제 : 논리식 혹은 합성명제에 있어서 그 명제를 구성하는 단순 명제들의 진리값에 관계없이, 그 합성 명제의 진리값이 항상 참의 값을 가지는 것. ∧ (and) : 둘 중 하나라도 F가 있다면, F이다. (둘 다 T인 경우에만 T) ∨ (or) : 둘 중 하나라도 T가 있다면, T이다. (둘 다 F인 경우에만 F) 1번. p q ~(~p∧ q) ~(~p∧ q)∨ q T T T T T F T T F T F T F F T T 네 경우 모두 T가 나오기 때문에, ~(~p∧ q)∨ q 은 항진 명제이다. 2번. p q (~p ∨ q) (.. 2021. 1. 21. 이전 1 다음 728x90 반응형
