Difference between r1.24 and the current
@@ -51,12 +51,16 @@
[[논리연결사,logical_connective]]
[[불_식,Boolean_expression]]
[[불_함수,Boolean_function]]
[[불_논리,Boolean_logic]]
// CLEANUP
{
[[불_연산자,Boolean_operator]]=[[Boolean_operator]] WtEn:Boolean_operator WpEn:Boolean_operator
}
[[불_식,Boolean_expression]]
[[불_함수,Boolean_function]]
digital design ([[디지털시스템,digital_system]] etc.)에선 Boolean function을 나타내는 데 여러 방법이 있는데 가장 정확하고 + 가장 번잡한 방법이 '''진리표'''다.
[[불_대수,Boolean_algebra]][[불_논리,Boolean_logic]]
// CLEANUP
{
[[논리연산,logic_operation]] or [[논리연산,logical_operation]] ... Ndict:논리연산 WtEn:logic_operation WtEn:logical_operation WpEn:logic_operation WpEn:logical_operation
[[논리연산,logic_operation]] or [[논리연산,logical_operation]] ... Ndict:논리연산
try WtEn:logic_operation WtEn:logical_operation
or Ggl:"logic.operation or logical.operation"
or WpEn:logic_operation WpEn:logical_operation
[[불_연산,Boolean_operation]]=[[Boolean_operation]] WtEn:Boolean_operation WpEn:Boolean_operation[[불_연산자,Boolean_operator]]=[[Boolean_operator]] WtEn:Boolean_operator WpEn:Boolean_operator
}
표,table=테이블,table이고 보통 맨 위 행,row은 명제들을, 그 아래부터는 각 칸에 진리값,truth_value이 하나씩 들어있는 그런 표인가??? chk
ex (간단한 진리표: 명제와 그 부정,negation 두가지(둘,two 경우,case)에 대한)
CHK
ex (간단한 진리표: 명제와 그 부정,negation 두가지(둘,two 경우,case)에 대한)
명제,proposition(or 진술,statement) | $\displaystyle p$ | $\displaystyle \sim p$ |
(진리값들의 경우 set 1) | T | F |
(진리값들의 경우 set 2) | F | T |
각 논리연결사,logical_connective에 대한 진리표.
¬,∧,∨는 쉬우므로 생략하고 →중에서도 표에서 세번째(* 표시)가 특이하다.
¬,∧,∨는 쉬우므로 생략하고 →중에서도 표에서 세번째(* 표시)가 특이하다.
A | B | A→B | A↔B |
T | T | T | T |
T | F | F | F |
F | T | T* | F |
F | F | T | T |
and, or, not으로 xor(⊻) 나타내기 ¶
A | B | A⊻B | A∧B | ¬(A∧B) | A∨B | (A∨B)∧¬(A∧B) |
T | T | F | T | F | T | F |
T | F | T | F | T | T | T |
F | T | T | F | T | T | T |
F | F | F | F | T | F | F |
따라서 (A∨B)∧¬(A∧B) = A⊻B
(A or B) and not(A and B) = A xor B
약식진리표 ¶
"결론을 거짓으로 놓은 후 결론이 모두 참이 되는 경우가 가능한지를 검토하는 방법입니다. 만약 가능하면 부당하고 불가능하면 타당합니다." (src)
진리표에 의한 타당성 검사는, 단순문장들의 수가 많을 경우 복잡하고 시간이 많이 걸린다. 이러한 문제점을 해소하기 위해 고안된 것이 약식 진리표 방법.
타당성을 검사하고자 하는 논증을 X라고 하고
타당성을 검사하고자 하는 논증을 X라고 하고
- 논증 X가 부당하다고 가정
- 전제들에 T를, 결론에 F를 부여
- 이 진리값 할당이 일관성을 갖도록 간 단순문장들의 진리값을 결정
- 시도가 성공적이라면 X는 부당, 시도가 실패한다면 X는 타당
- 𝔇가 부당함을 가정. 다시 말해, A1, …, An이 참이면서 B가 거짓인 해석이 존재함을 가정.
- 결론을 거짓으로 가정할 때, 결론의 각 부분 문장의 진리값을 결정해 전제가 참인지 거짓인지를 판단.
3-1. 만약 모든 전제들이 참인 진리조건적 해석이 있다면, 𝔇는 부당함.
3-2. 만약 모든 전제들이 참인 진리조건적 해석을 찾지 못했다면, 𝔇는 타당함.
MKLINK
진리집합?
논리게이트,logic_gate
진리값,truth_value 진리값,truth_value
연결사,connective
논리연결사,logical_connective
불_식,Boolean_expression
불_함수,Boolean_function
불_논리,Boolean_logic
진리집합?
논리게이트,logic_gate
진리값,truth_value 진리값,truth_value
연결사,connective
논리연결사,logical_connective
불_식,Boolean_expression
불_함수,Boolean_function
digital design (디지털시스템,digital_system etc.)에선 Boolean function을 나타내는 데 여러 방법이 있는데 가장 정확하고 + 가장 번잡한 방법이 진리표다.
불_대수,Boolean_algebra불_논리,Boolean_logic
// CLEANUP
{
논리연산,logic_operation or 논리연산,logical_operation ... 논리연산
불_연산자,Boolean_operator=Boolean_operator Boolean_operator Boolean_operator
}
{
논리연산,logic_operation or 논리연산,logical_operation ... 논리연산
try logic_operation logical_operation
or logic.operation or logical.operation
or logic_operation logical_operation
불_연산,Boolean_operation=Boolean_operation Boolean_operation Boolean_operationor logic.operation or logical.operation
or logic_operation logical_operation
불_연산자,Boolean_operator=Boolean_operator Boolean_operator Boolean_operator
}