명제:
임의의 적형식,wff A1, …, An과 B에 대해,
D를 A1, …, An ⊢ B에 관한 논증이라고 하자.
D가 타당하다.
진리나무 방법의 분해 규칙(Decomposition rules for truth-tree) ....// 분해,decompositionD를 A1, …, An ⊢ B에 관한 논증이라고 하자.
D가 타당하다.
iff
{A1, …, An, ¬B} 가 비일관적이다. ....// 논리일관성,logical_consistency 일관성,consistency닫기 A ... ¬A ⊗ 이중부정 분해 ¬¬A A 선언(∨)분해: 연언(∧)분해: A∨B A∧B / \ A A B | B 조건문(→)분해 : A→B = ¬A∨B 를 사용 A→B / \ ¬A B 쌍조건문(↔)분해 : ¬A∨B와 ¬B∨A 가 겹친 것임을 이용 A ↔ B 근데 좌변 우변을 각각 했는데 어떻게 한거?? / \ A ¬A B ¬B 부정조건문 분해 : ¬(A→B) = ¬(¬A∨B) = A∧¬B 를 이용 ¬(A→B) A ¬B 부정연언 분해 : = ¬A∨¬B 임을 이용 ¬(A∧B) / \ ¬A ¬B 부정선언 분해 : = ¬A ∧ ¬B 임을 이용 ¬(A∨B) ¬A ¬B 부정쌍조건문 분해 : ¬(A↔B) = ¬((¬A∨B)∧(¬B∨A)) ¬(A↔B) = ¬(¬A∨B)∨¬(¬B∨A) / \ = (A∧¬B) ∨ (B∧¬A) A ¬A 를 이용 ¬B B
Twin
truth_tree
= https://en.wiktionary.org/wiki/truth_tree
http://www.aistudy.com/logic/tree.htm
= https://en.wiktionary.org/wiki/truth_tree
http://www.aistudy.com/logic/tree.htm
"추론,inference의 타당성(타당성,validity or 타당성,soundness?)을 증명,proof하는 방법에는 진리표,truth_table, 진리나무,truth_tree, 형식적 증명(형식증명,formal_proof) 방법이 있다."
이어 명제논리,propositional_logic 술어논리,predicate_logic 관계명제 ( 관계명제 관계명제 ) ...에 대해 진리나무 방법 적용 소개
이어 명제논리,propositional_logic 술어논리,predicate_logic 관계명제 ( 관계명제 관계명제 ) ...에 대해 진리나무 방법 적용 소개