목록한정기호#전칭한정기호#존재한정기호#한정기호부정 (1)

from palette import colorful_colors

[이산수학] 한정기호(전칭한정기호, 존재한정기호), 한정기호 부정

1. Propositional function P(x) (명제함수) p(x): 변수 x를 포함하여 진리값을 판별할 수 있는 문장이다. 한정자인 ∀x ∃x를 이용해 명제를 생성할 수 있다. predicate: 술어 predicate logic: 술어논리 (주어와 술어에 대해 quantifier(한정자)를 이용해 사용하는 논리) 2. Quantifier(한정기호) 전칭한정기호, 존재한정기호로 나뉜다. universal quantifier ∀x (전칭한정기호): "모든 x에 대해"라는 뜻이다. 모든 universal 경우가 True여야 는 True, 하나라도 거짓이면 거짓이다. ∀xP(x) = P(x1) ∧ P(x2) ∧ ···∧ P(xn) existential quantifier ∃x (존재한정기호): "어..
CS 학부과목/이산수학 2023. 1. 31. 00:21
이전 Prev 1 Next 다음