ADDHERE
simple stmt ─연결→ compound stmt ¶
simple
statement를 연결(connect,
연결,connection)하여 compound statements를 만드는 방법이 많은데 오직 5가지만 자주 쓰인다.
이 다섯가지 가장 흔한
연결사,connective들은
- not - symbolized by ~
- and - symbolized by ∧
- or - symbolized by ∨
- if … then … - symbolized by →
- … if and only if … - symbolized by ↔
~p, not p, negation of p (
부정,negation)
이것의
진리표,truth_table는
p∧q, p and q, conjunction of p and q //
conjunction
이것의 진리표는
TODO 담에 P5부터 계속읽을것....
statement 의 최적의 번역어는 무엇일까? ¶
statement보면
명제, 문장....
으로 해놨다. 하지만
명제,proposition가,
문장,sentence이 더 어울린다는 생각.
암튼 statement를 '명제'로 번역 가능.
명제,statement
정의:
- 명제(statement)는 참과 거짓을 구별할 수 있는 문장,sentence.
- 명제함수(statement function = statement_function =,statement_function) $\displaystyle p(x)$ 는 변수,variable $\displaystyle x$ 에 따라 참과 거짓을 구분할 수 있는 문장이다. 이 경우 $\displaystyle p(x)$ 를 만족하는 $\displaystyle x$ 가 존재하지 않을 수 있다.
'구문'도 보인다. 프로그래밍 언어 번역글. 근데 저건
구문,syntax...에 더 어울리는?
신택스,syntax