기호:
simple_statement
universal_statement
conditional_statement =,conditional_statement . conditional_statement (writing)
{
conditional statement
이건 PL의 경우 조건문
조건문 
조건문
logic의 경우 조건문장 조건진술 .... ?
conditional_statement
![[https]](/wiki/imgs/https.png)
gggggggg
$\displaystyle p,q,r,\ldots$ for simple statement,
$\displaystyle P,Q,R,\ldots$ for compound statements[1]
Sub:$\displaystyle P,Q,R,\ldots$ for compound statements[1]
simple_statement
단순진술?
compound_statementuniversal_statement
conditional_statement =,conditional_statement . conditional_statement (writing)
{
conditional statement
이건 PL의 경우 조건문
조건문 조건문logic의 경우 조건문장 조건진술 .... ?
conditional_statementgggggggginverse_statement =,inverse_statement . inverse_statement - w ...(2023-10-26 에 여기로 cloned) 역진술 이라고 번역하면 안될듯. 이진술,inverse_statement? 대체 뭐가 좋을지?
{
inverse statement
{
inverse statement
역진술이 아니고 이진술? inverse_statement
inverse는 역이라고 보통 번역하는데, 이건 '역/이/대우'에서 분명 '이,inverse' 에 해당한다. 도대체 어떻게 번역을 해야?
https://planetmath.org/inversestatement
{
inverse는 역이라고 보통 번역하는데, 이건 '역/이/대우'에서 분명 '이,inverse' 에 해당한다. 도대체 어떻게 번역을 해야?
https://planetmath.org/inversestatement
{
진술,statement이 함의/내포=,implication(함의,implication in RR) 형태로
}If p, then q
가 있으면 전제,premise p와 결론,conclusion q가 있고, 전제와 결론을 부정,negation한 진술If ￢p, then ￢q
는 첫 진술의 inverse(or inverse_statement).statement_variable - 명제논리,propositional_logic의 variable(변수/변항/....). - curr at 
명제논리,propositional_logic?action=highlight&value=statement_variable
명제논리,propositional_logic?action=highlight&value=statement_variableADDHERE
simple stmt ─연결→ compound stmt ¶
simple statement를 연결(connect, 연결,connection)하여 compound statements를 만드는 방법이 많은데 오직 5가지만 자주 쓰인다.
이 다섯가지 가장 흔한 연결사,connective들은
이것의 진리표,truth_table는
p∧q, p and q, conjunction of p and q // conjunction
이것의 진리표는
TODO 담에 P5부터 계속읽을것....
이 다섯가지 가장 흔한 연결사,connective들은
- not - symbolized by ~
- and - symbolized by ∧
- or - symbolized by ∨
- if … then … - symbolized by →
- … if and only if … - symbolized by ↔
이것의 진리표,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 |
statement 의 최적의 번역어는 무엇일까? ¶
statement보면명제, 문장....
으로 해놨다. 하지만 명제,proposition가, 문장,sentence이 더 어울린다는 생각.
암튼 statement를 '명제'로 번역 가능. 명제,statement
정의:
- 명제(statement)는 참과 거짓을 구별할 수 있는 문장,sentence.[3]
- 명제함수(statement function = statement_function =,statement_function) $\displaystyle p(x)$ 는 변수,variable $\displaystyle x$ 에 따라 참과 거짓을 구분할 수 있는 문장이다. 이 경우 $\displaystyle p(x)$ 를 만족하는 $\displaystyle x$ 가 존재하지 않을 수 있다.
p(x)가 참이 되는 모든 x들을 모아 놓은 집합은 진리집합,truth_set.
2023-10-29 대충 '문장'은 
gibberish도 포함하고, 문장 중에서 어느 정도 참인지 거짓일 수 있는 체계를 갖춘 부분집합이 명제,proposition ≃ 진술,statement같은데... chk
gibberish도 포함하고, 문장 중에서 어느 정도 참인지 거짓일 수 있는 체계를 갖춘 부분집합이 명제,proposition ≃ 진술,statement같은데... chkMKLINK ¶
Compare:
해석,interpretation
명제,proposition
사고,thought ~= 생각,thinking
판단,judgment
해석,interpretation
명제,proposition
https://youtu.be/_JjBGf97OSs?si=kPeiZdZ1Z-GLMopD (충북대 이선종 집합론) 앞부분(시각추가) 여기선 "명제(statement)" 라고 한다. 즉 구분을 두지 않는다.
그래서 명제처럼 참,true or 거짓,false인 진리값,truth_value을 가지며 진리표,truth_table로 나타낼 수 있다.
문장,sentence그래서 명제처럼 참,true or 거짓,false인 진리값,truth_value을 가지며 진리표,truth_table로 나타낼 수 있다.
사고,thought ~= 생각,thinking
판단,judgment
Twins:
https://proofwiki.org/wiki/Definition:Statement
"A statement is a sentence which has objective and logical meaning."
즉 정의: 진술,statement은 객관적이고 논리적인 뜻을(의미 meaning를) 가진 문장,sentence이다.
https://proofwiki.org/wiki/Definition:Statement
"A statement is a sentence which has objective and logical meaning."
즉 정의: 진술,statement은 객관적이고 논리적인 뜻을(의미 meaning를) 가진 문장,sentence이다.
Sources:
Lin: You-Feng Lin, Set Theory, 1981
김진홍: http://www.kocw.net/home/cview.do?cid=64d40b48672f02bc
Lin: You-Feng Lin, Set Theory, 1981
김진홍: http://www.kocw.net/home/cview.do?cid=64d40b48672f02bc