술어 논리 Predicate LogicP 가 술어이고, x는 주제에 해당한다. P(x)로 표현. 명제 함수 Propositional Function 한정자 Quantifier모두에게 해당되는 All 존재하는 Exist  한정자의 부정All이나 Exist에 부정을 풀면 A->E, E->A로 바뀌고, 뒤에 술어에 부정이 붙는다.

논리식에서 적용되는 동치 관계의 법칙들을 알아보자. 1. 항등 법칙 (Identity) 2. 지배 법칙 (Domination) 3. 멱등 법칙 (Idempotent) 4. 이중 부정 법칙 (Double negation) 5. 교환 법칙 (Commutative) 6. 결합 법칙 (Associative) 7. 분배 법칙 (Distributive) 8. 드모르간 법칙 (De Morgan's)  그 외에 연산자를 다른 논리식으로 표현할 수 있다. 1. Exclusive-Or 2. Implies  3. Biconditional

Converse, Inverse, Contrapositiveq→p : 역(converse)~p→~q : 이(inverse)~q→~p : 대우(contrapositive)  Tautologies합성 명제의 진리값이 항상 참의 값을 가질 때 항진 명제(Tautologies)라고 한다. Contradiction합성 명제의 진리값이 항상 거짓의 값을 가질 때 모순 명제(Contradiction)라고 한다. Logical equivalencep q가 항진 명제(Tautologies)일때, 이 식은 논리적 동치(Logical equivalence)이다.아래 p v q와 ~(~p ^ ~q)가 논리적 동치임을 나타내는 truth table이다. 드모르간의 법칙에 의해 ~(~p ^ ~q)에서 괄호가 없어지고 or는 a..

용어propositional 명제contrapositive 대우 Propositional Logic문장 중에서 참과 거짓을 명확하게 나타낼 수 있는 식을 명제라고 한다.  Operators/Connectives   Negation operator부호를 반대로 만든다. 모양은 ㄱ Conjunction operator둘이 연결되는 수식으로 앞 뒤가 모두 참이어야 참이다. 모양은 ^ (^nd = And) Disjunction operator둘이 연결되는 수식으로 둘중 하나라도 참이면 참이다. 모양은 v Exclusive-OR operator둘이 연결되는 수식으로 둘이 서로 달라야 참이다. 모양은 O안에 +가 있는 모양 Implication operator연결되는 수식으로 앞이 p, 뒤가 q라고 했을때p가 tr..