Propositional logic ๋ช ์ ๋ ผ๋ฆฌ ๋ฌธ์ 1. ์ง๋ฆฌ๊ฐ ์์ฑ ๋ฌธ์ : ํํ์์ ํด๋นํ๋ ์ง๋ฆฌ๊ฐ์ T ๋๋ F๋ก ์ฑ์ฐ์์ค. (์์ ์์ญ์ ์ ๋ต ํ์) P Q expression Value T T P V Q T T F P Λ ¬ Q T F T P → Q T F F ¬P ↔ Q F 2. ๋ช ์ ์์ผ๋ก ํํํ๊ธฐ ๋ฌธ์ : ๋ค์์ ๋ช ์ ์์ผ๋ก ํํํ์์ค. "ํฐ์ ์ํ ์ ๊ณต์ด๊ณ , ์ปดํจํฐ ์ธ์ด์ธ์ค ์ ๊ณต์ ์๋๋ค." P: ํฐ์ ์ํ ์ ๊ณต์ด๋ค. Q: ํฐ์ ์ปด์ธ ์ ๊ณต์ด๋ค. ๋ ๋ชจ๋ฅด๊ฐ์ ๋ฒ์น์ ์ฌ์ฉํ์ฌ ํํ์ ๋ถ์ ์ ์์ฑํ๊ณ , ์๋ฏธ๋ฅผ ์ ์ผ์์ค. ๋ต: ๋ช ์ ์์ผ๋ก ํํํ๊ธฐ P Λ ¬ Q (ํฐ์ ์ํ ์ ๊ณต์ด๊ณ , ์ปด์ธ ์ ๊ณต์ ์๋๋ค.) ๋๋ชจ๋ฅด๊ฐ ๋ฒ์น ์ ์ฉํ๊ธฐ ¬ (P Λ ¬ Q) = ¬ P V Q (๋๋ชจ๋ฅด๊ฐ ๋ฒ์น) c. ์๋ฏธ ¬ ..
