수학/이산수학
-
The Foundations: Logic and Proofs (2)수학/이산수학 2020. 4. 6. 12:10
Predicates * 속성과 관계를 나타낸다. 명제와 달리, 주어와 술어를 구분하여 참 거짓 판단한다. - x is greater than 3 - x: variable - is greater than 3: predicate P - P(x) :P(x)자체가 명제는 아니고 변수 x가 적절한 값으로 치환되면 결과적으로 명제가 된다. - Let Q(x,y) denote the statement “x=y+3” - Q(1,2) is false but Q(3,0) is true 하나 이상의 변수가 존재할 수 있다. - n-place predicate (or n-ary predicate) - P(x1 , x2 , … , xn ) -> 그 자체로는 바로 T, F 인지 구분 불가능. Quantifiers ˙Univers..
-
The Foundations: Logic and Proofs (1)수학/이산수학 2020. 3. 30. 14:06
Logical Operators - Propositional variables : Variables that represent propositions 변수가 명제를 표현한다. : p, q, r, s ... - Negation : ~p 대표적인 unary operator - Congunction (AND) : p∧q : binary operator : 첫번째 row와 두번째 row가 동시에 일어날 수 없다. -> q가 동시 T ,F 라는 의미이기 때문이다. : truth table의 크기는 operand의 갯수로 나타낼수 있다. (2^n) - Disjunction (OR) : p∨q - Exclusive (XOR) : pⓧq Conditional Statements - If p, then q - p -> ..