fitch-proofs

1열

1답변

을 감안할 때, 주어진 ((P는 ⇒의 q는) R을 ⇒), ((P는 ⇒ q를) ⇒ (피의 ⇒의 R)) 내가 노력하고

을 증명하기 위해 피치 시스템을 사용 ((P는 ⇒의 q는) R을 ⇒) ,,에 증명하기 위해 피치 시스템을 사용 ((P는 ⇒ q를) ⇒ (P ⇒ R)). 진행 방법에 대한 아이디어가 있습니까? 이 증거에 도움이 될 것입니다

1열

1답변

어떻게 피치 시스템을 사용하여 (p ⇒ q) ⇒ p) ⇒ p

FYI, 내가 사용하는 논리 프로그램은 모순을 소개 할 수 없습니다. 이 점은 무의미한 것 같습니다. 왜냐하면 나는이 증거를 위해 모순의 어떤 형태라도 사용해야 할 것입니다. 이 문제를 해결하기 위해 나는 (p ⇒ q) ⇒ 이라고 가정하고 시작 했습니까? 그렇다면 다음은 무엇입니까? 해결책이 아주 분명해 보인다면 저를 용서하십시오. 이 솔루션의 단계의 많은

0열

2답변

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

, 내가 (P는 ⇒의 ¬q) 및 (¬q ∧ 페이지 ⇒ R) 및 페이지 순서대로 피치 시스템을 사용하여 주어진 노력하고 r을 증명하기. 진행 방법에 대한 아이디어가 있습니까?

2열

1답변

Fitch-Style Proof

안녕하세요 피치 스타일 교정을 해결하는 데 어려움을 겪고 있습니다. 누군가 나를 도울 수 있기를 바랬습니다. 구내 : A^(B v C) B => D C => E 목표 :이 질문은 매우 SO의 범위에 맞지 않는 ~E => D