언어논리 논리학 정리

모순관계:둘이 상반반대관계:둘다 참이 될수는 없지만, 둘다 거 짓이 될 수 있음단순명제연언 A ∧ B선언 A V B베타적선언합성명제 A->B역 ~B->~A단순함축 A->B = (~AVB)수출입법칙 A->(B->C) = A∧B->C(AVB) -> C = (A->C) ∧ (B->C)C->(A∧B) = (C->A) ∧ (C->B)(A∧B) -> C = (A타당성:A->B(형식)이 참건정성:내용도 참이고, A->B(형식)도 참충분조건:무조건 A->B(A외에도 다른거도 있을수있음)필요조건:~A->~B, (오직 A만)...

언어논리 논리학 정리에 대한 요약내용입니다.

자세한 내용은 아래에 원문링크를 확인해주시기 바랍니다.

원문링크 : 언어논리 논리학 정리