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	~p
T	F
F	T

p∧q, p and q, conjunction of p and q // conjunction
이것의 진리표는

p	q	p∧q
T	T	T
T	F	F
F	T	F
F	F	F

TODO 담에 P5부터 계속읽을것....

statement보면
명제, 문장....
으로 해놨다. 하지만 명제,proposition가, 문장,sentence이 더 어울린다는 생각.
암튼 statement를 '명제'로 번역 가능. 명제,statement
정의:

• 명제(statement)는 참과 거짓을 구별할 수 있는 문장,sentence.[4]
  
• 명제함수(statement function = statement_function =,statement_function) $\displaystyle p(x)$ 는 변수,variable $\displaystyle x$ 에 따라 참과 거짓을 구분할 수 있는 문장이다. 이 경우 $\displaystyle p(x)$ 를 만족하는 $\displaystyle x$ 가 존재하지 않을 수 있다.
  
  p(x)가 참이 되는 모든 x들을 모아 놓은 집합은 진리집합,truth_set.
  

'구문'도 보인다. 프로그래밍 언어 번역글. 근데 저건 구문,syntax...에 더 어울리는? 신택스,syntax

pagename: 명령문,statement은 어떨지. - cmp 명령,command 명령어,instruction 대충 이렇게 될듯한데

2023-10-29 대충 '문장'은 gibberish도 포함하고, 문장 중에서 어느 정도 참인지 거짓일 수 있는 체계를 갖춘 부분집합이 명제,proposition ≃ 진술,statement같은데... chk

2024-06-17 'statement'의 PL에서의 뜻에 대한 pagename은 '문'이 들어가야 하는데 { 문 명령문 구문 } ...중에? 구문이 최선인가? 구문,statement 문,statement
Sub:
return_statement { return_statement Rel return_statement }

Compare:
해석,interpretation
명제,proposition
문장,sentence <- CMP
사고,thought ~= 생각,thinking
판단,judgment
문제,problem

Twins:
https://proofwiki.org/wiki/Definition:Statement
"A statement is a sentence which has objective and logical meaning."
즉 정의: 진술,statement은 객관적이고 논리적인 뜻을(의미 meaning를) 가진 문장,sentence이다.

https://en.wiktionary.org/wiki/statement

Sources:
Lin: You-Feng Lin, Set Theory, 1981
김진홍: http://www.kocw.net/home/cview.do?cid=64d40b48672f02bc