0
, 내가 (P는 ⇒의 ¬q) 및 (¬q ∧ 페이지 ⇒ R) 및 페이지 순서대로 피치 시스템을 사용하여 주어진 노력하고- 논리와 피치 시스템과 고투 피치 시스템
r을 증명하기.
진행 방법에 대한 아이디어가 있습니까?
, 내가 (P는 ⇒의 ¬q) 및 (¬q ∧ 페이지 ⇒ R) 및 페이지 순서대로 피치 시스템을 사용하여 주어진 노력하고- 논리와 피치 시스템과 고투 피치 시스템
r을 증명하기.
진행 방법에 대한 아이디어가 있습니까?
컴퓨터로 구현되는 증명 체커로도 사용할 수 있습니다. Isabelle의 구조적 증명 언어를 사용하면 다음과 같이 증명할 수 있습니다.
theory Scratch
imports Main
begin
notepad
begin
assume 1: "p ⟶ ¬ q"
and 2: "¬ q ∧ p ⟶ r"
and 3: p
have "¬ q" using 1 and 3 ..
then have "¬ q ∧ p" using 3 ..
with 2 have r ..
end
end