논리에 관한 것

21년 8월 24일, 오후 05시21분에 대한민국 파주시 지혜의 숲에서 한승혁이 (37.7089°N, 126.6865°E)

두 명제가 오로지 논리 구조 때문에 참 또는 거짓이라는 점에서 일치한다면,

두 명제는 논리적으로 동치다.

즉, 두 명제를 구성하는 성분 중 논리 외적 성분을 동일하게 수정해서 명제 중 하나는 참으로 다른 하나는 거짓으로 만들 수 없다면, 두 명제는 논리적으로 동치다.

어떤 것이 동물도 아니고 식물도 아니라면, 그것은 미생물이 아니다.

이 명제는 위의 명제 1과 논리적으로 동치다. 만약 오로지 두 명제의 논리 구조 때문에

한 명제의 참으로부터 다른 명제의 참을 추론할 수 있다면, 그 첫 번째 명제는 두 번째 명제를 논리적으로 함의한다.

21년 여름에

Comments — fully anonymous

인권과 자유를 증진하기 위해 자유롭고 오픈된 익명성·프라이버시 기술을 만들고 배포하며,
그 기술이 제한 없이 이용 가능하도록 지원하고, 관련 과학적·대중적 이해를 확산시킨다. - Tor Project

hyukyk.dev의 admin은 Tor Project가 지향하는 프라이버시의 가치를 옹호합니다.
'감시로부터의 자유'에 초점을 두고 댓글 이용자의 IP나 세션 ID 등을 추적·수집·활용하지 않습니다.