Propositional (๋ช ์ ) 1. Statements (Propositions) / ๋ช ์ Propositions (๋ช ์ ) : ์ฐธ์ด๋ ๊ฑฐ์ง์ผ๋ก ํ๋จํ ์ ์๋ ๋ฌธ์ฅ. ๋จ, ๋ ๋ค ์ผ์๋ ์๋ค. Propositional Logic (๋ช ์ ๋ ผ๋ฆฌ) : ๋ช ์ ๋ฅผ ๋ค๋ฃฌ๋ค. Propositional Constants (๋ช ์ ์์) : T - ์ฐธ, F - ๊ฑฐ์ง Propositional Variables (๋ช ์ ๋ณ์) : T๋ F๊ฐ์ ๊ฐ์ง ์ ์๋ ๋ณ์ Atomic Propositions (์์ ๋ช ์ ) : ๋ช ์ ์์, ๋ช ์ ๋ณ์, ๋ช ์ ๋ ๋ ์ธ๋ถํ ๋ ์ ์๋ค. Compound Propositions (ํฉ์ฑ ๋ช ์ ) : ์์ ๋ช ์ ๊ฐ ์๋ ๊ฒ์, ๋ ผ๋ฆฌ์ฐ์ฐ์๋ก ์ฐ๊ฒฐํ ๊ฒ. 2. Basic logical connective..