형식 언어_{(r1 문단 편집)}

=== 기호논리학의 예 ===
기호논리학(Symbolic Logic) 또는 1차 술어 논리(first-order predicate logic)에서의 추론 형식의 예
|| 추론 형식 || 논리식 || 예 ||
|| F1 || [[삼단논법]] || 가언([math(\to)], [math(\supset)]), 선언([math(\lor)]), 연언([math(\land)]), [[정언 명제]]([math(\subset)]) 등 [[명제논리]] ||
|| F2 || 드모르간의 법칙 || [math(\neg (p \lor q) = \neg p \land \neg q)][br][math(\neg (p \land q) = \neg p \lor \neg q)] ||
|| F3 || 단순화 논리 || [[이중부정]]([math(\neg\neg)]) ,논리곱 논법 등 ||
|| F4 || 양화사 논리 || 존재양화사 [math(\exist)] (existential quantifier)[br]보편양화사 [math(\forall)] (universal quantifier)  ||
|| F5 || 등호 논리 || [math(g=m)] ||

기호논리(Symbolic Logic)의 추론 예
|| 자연언어 || 형식 언어 || 추론 형식 ||
|| 만일 __비가 온다__([math(\rm A)])면, __소풍을 가지__([math(\rm B)]) 않는다. || [math(\rm A \to \neg B)] || F1 (가언 명제) ||
||  소풍을 가지 않는다면, 우리는 __학교에 가야__([math(\rm C)])된다. || [math(\rm \neg B \to C)] || F1 (가언 명제) ||
|| 비가 오지 않는다([math(\rm \neg A)]), 그리고 우리는 __학교에 가지__([math(\rm \neg C)]) 않는다. || [math(\rm \neg A \land ¬C)] || F1 (연언 명제), F3(단순화 논리) ||
|| 비가 온다([math(\rm A)]) 또는 우리는 학교에 간다([math(\rm C)]) || [math(\rm \neg \left ( \neg A \lor \neg C \right ) = A \land C)] || 이중부정(F3),드모르간의 법칙(F2), 등호 논리(F5) ||
|| 비가 오지 않는다([math(\rm \neg A)]) 우리는 소풍을 간다([math(\rm B)]) || [math(\rm A \subset B)] || 정언 명제 (F1, 결론) ||

[각주]
[include(틀:문서 가져옴/나무위키, title=형식 언어, version=40, uuid=4535ea3a-c5dd-4042-a0f8-718042d98f71)]

요약

문서 편집을 저장하면 당신은 기여한 내용을 CC BY-NC-SA 2.0 KR 또는 기타 라이선스 (문서에 명시된 경우) 로 배포하고 기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다. 이 동의는 철회할 수 없습니다.

비로그인 상태로 편집합니다. 로그인하지 않은 상태로 문서 편집을 저장하면, 편집 역사에 본인이 사용하는 IP(216.73.216.107) 주소 전체가 영구히 기록됩니다.

형식 언어(r1 문단 편집)

형식 언어_{(r1 문단 편집)}