- 논리와 피치 시스템과 고투 피치 시스템

Question

, 내가 (P는 ⇒의 ¬q) 및 (¬q ∧ 페이지 ⇒ R) 및 페이지 순서대로 피치 시스템을 사용하여 주어진 노력하고

r을 증명하기.

진행 방법에 대한 아이디어가 있습니까?

Answer 1

1. (p의 ⇒의 ¬q)
2. (¬q ∧ P ⇒ R)
3. P
4. ¬q (1~3 함의 제거)
5. ¬q P^(2-4 및 소개)
6. R (2 5 시사점 제거) ---> END

Answer 2

또한 AVA 다른 형식 증명 시스템을 시도 할 수

컴퓨터로 구현되는 증명 체커로도 사용할 수 있습니다. 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