Analogrammer
close
프로필 배경
프로필 로고

Analogrammer

  • 분류 전체보기 (268)
    • 프로그래밍 (193)
      • C, C++ (38)
      • Rust (49)
      • JAVA (13)
      • Javascript (7)
      • Python (2)
      • Baekjoon (80)
      • React (4)
    • 보안 (43)
      • 하드웨어 해킹 (2)
      • 블록체인 (8)
      • wargame.kr (3)
      • 웹해킹 (4)
      • fuzzing (12)
      • ICS,OT 보안 (14)
    • IT (3)
      • 네트워크 (1)
      • 시스템 (2)
    • 수학 (3)
      • 이산수학 (3)
    • 영어 (3)
    • 프로젝트 (0)
    • 기타 (12)
      • 블로그 관리 (2)
      • 활동 (3)
      • 팁 (7)
    • 리뷰 (2)
    • 자격증 (4)
    • 관심IT슈 (3)
  • 홈
  • 태그
  • 미디어로그
  • 위치로그
  • 방명록

술어와 한정기호

술어 "x는 3보다 크다."라는 문장을 보자. 이 문장은 두 부분으로 구성된다. 문장의 주어에 해당하는 "x", 그리고 술어(predicate)에 해당하는 "3보다 크다"가 있다. 문장 "x는 3보다 크다"라는 문장은 $P(x)$라고 표시할 수 있다. $P$는 술어를 , $x$는 변수를 나타낸다. $P(x)$는 명제함수(propositional function) $P$에서 $x$의 값이라고도 한다. 명제함수는 정의역(domain)에서 변수에 값이 할당되면 $P(x)$는 명제가 되고 진리값, 즉 참과 거짓을 판단할 수 있게 된다. 예) $P(x)$가 $x>3$일 때, $P(4)$의 진리값은 참이 된다. n개의 변수를 포함하는 명제함수는 $P(x_1, x_2, ..., x_n)$으로 표시하고, $P$를 n-..

  • format_list_bulleted 이산수학
  • · 2020. 9. 19.
  • textsms
명제의 동치(equivalent)

명제의 동치(equivalent)

항진명제, 모순, 불확정명제 항진명제(tautology): 항상 참인 명제 모순(contradiction): 항상 거짓인 명제 불확정명제(contingency): 항진명제도 아니고 모순도 아닌 명제 예) $p$ $\neg q$ $p \lor\neg q$ $p \land \neg q$ $T$ $F$ $T$ $F$ $F$ $T$ $T$ $F$ $p \lor\neg q$는 항상 참이므로 항진명제이고, $p \land \neg q$는 항상 거짓이므로 모순이다. 논리적 동치 두 명제 $p$, $q$에 대하여 $p \leftrightarrow q$가 항진명제이면 $p$와 $q$는 논리적 동치이며, $p \equiv q$는 $p$와 $q$가 논리적 동치(logically equvalent)임을 나타낸다. 조건-논리합..

  • format_list_bulleted 이산수학
  • · 2020. 9. 11.
  • textsms
명제 논리(propositional logic)

명제 논리(propositional logic)

명제(proposition) 참 또는 거짓 중 하나를 나타내는 선언적 문장이다. 명제인 예: 미국의 수도는 워싱턴 D.C이다. 캐나다의 수도는 토론토이다. 명제가 아닌 예: 몇 시입니까? 이것을 주의 깊게 읽어라. 명제를 표현하는 변수를 p, q, r, s 등 문자로 나타낸다. 명제의 진리값(truth value)이 참일 때는 T, 거짓일 때는 F로 나타낸다. 더 나누어질 수 없는 명제는 단순명제이다. 부정(negation) $p$가 명제라 하면 $p$의 부정은 $\neg p$ or $\bar{p}$로 나타내고, "It is not the case that p."의 문장이 된다. $p$ $\neg p$ $T$ $F$ $F$ $T$ 논리곱(conjunction) $p$와 $q$가 명제라 하면 $p \lan..

  • format_list_bulleted 이산수학
  • · 2020. 9. 4.
  • textsms
  • navigate_before
  • 1
  • navigate_next
공지사항
전체 카테고리
  • 분류 전체보기 (268)
    • 프로그래밍 (193)
      • C, C++ (38)
      • Rust (49)
      • JAVA (13)
      • Javascript (7)
      • Python (2)
      • Baekjoon (80)
      • React (4)
    • 보안 (43)
      • 하드웨어 해킹 (2)
      • 블록체인 (8)
      • wargame.kr (3)
      • 웹해킹 (4)
      • fuzzing (12)
      • ICS,OT 보안 (14)
    • IT (3)
      • 네트워크 (1)
      • 시스템 (2)
    • 수학 (3)
      • 이산수학 (3)
    • 영어 (3)
    • 프로젝트 (0)
    • 기타 (12)
      • 블로그 관리 (2)
      • 활동 (3)
      • 팁 (7)
    • 리뷰 (2)
    • 자격증 (4)
    • 관심IT슈 (3)
최근 글
인기 글
최근 댓글
태그
  • #코딩
  • #정보보안
  • #프로그래밍
  • #연습문제
  • #tistory
  • #파이썬
  • #문제풀이
  • #C언어
  • #코딩테스트
  • #백준
전체 방문자
오늘
어제
전체
Copyright © 쭈미로운 생활 All rights reserved.
Designed by JJuum

티스토리툴바

개인정보

  • 티스토리 홈
  • 포럼
  • 로그인

단축키

내 블로그

내 블로그 - 관리자 홈 전환
Q
Q
새 글 쓰기
W
W

블로그 게시글

글 수정 (권한 있는 경우)
E
E
댓글 영역으로 이동
C
C

모든 영역

이 페이지의 URL 복사
S
S
맨 위로 이동
T
T
티스토리 홈 이동
H
H
단축키 안내
Shift + /
⇧ + /

* 단축키는 한글/영문 대소문자로 이용 가능하며, 티스토리 기본 도메인에서만 동작합니다.