중첩 한정자는 전 페이지에서 다룬 한정자가 연속된 형태를 말한다.  각각 순서에 따라 Exist와 All이 위 그림처럼 나타날 수 있다.Ax Ey = 누구나(all) 의지할 사람이 있다(Exist)Ey Ax = 모든사람이 (all) 누군가를 (Exist) 의지한다.Ex Ay = 모든 사람에게(all) 의지하는 누군가가 있다 (Exist).Ay Ex = 누구나 (all) 자신에게 의지하는 사람이 있다 (Exist).Ax Ay = 서로 모두가 (all) 서로 모두를 (All) 의지한다.  중첩 한정자의 경우 한정자를 앞으로 빼고 모두 묶어도 같은 뜻이다.  한정자들에서의 동치 법칙이다.첫째, 한정자에 NOT이 붙은 경우 A에서 E로 바뀌고, 술어의 부호가 바뀌기 때문에 둘다 NOT을 붙힌 식과 동치이다.둘째..

술어 논리 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..

Inner Product벡터 u = [u1, u2, u3 ...] 과 벡터 v = [v1, v2, v3 ...]의 내적 (inner product)는 아래와 같이 표현할 수 있다.  내적의 성질에는 교환법칙, 분배법칙이 적용된다.  벡터의 길이벡터 v의 길이는 ||v|| 기호로 표현한다.피타고라스 개념을 적용하여 아래 수식으로 벡터의 길이를 구한다.   Orthogonality (직교성)두 벡터 u, v가 직교한다는 것은 u와 v를 내적한 값이 0이라는 소리다.직교하는 두 벡터는 서로 수직이고, 서로 선형 독립이다. orthogonal set서로 직교하는 벡터의 집합을 의미하며, 집합 {v1, v2, v3.. } 등의 벡터가 서로 직교해야한다. orthogonal basis벡터 공간 V의 부분공간 W의 ..