Welcome to Logic Tutor

다음 논증을 증명해보세요!

`A->B, A ^^ C, (B ^^ C)->D⊢D`
# 내용 규칙
1 `A -> B` 전제
2 `A ^^ C` 전제
3 `(B ^^ C) -> D` 전제

추론 입력

입력방법!
  • 다른 문제로 바꾸려면, 줄 입력에 0 ~ 0을, "문제를 바꿉니다" 선택, 추론 결과에 0을 입력한 후, 제출 버튼!
  • 바로 전에 입력한 추론을 지우려면, 줄 입력에 0 ~ 0을, "방금 입력한 추론 지우기 " 선택, 추론 결과에 0을 입력한 후, 제출 버튼!
  • 줄 번호 입력 방법: 기본적으로 쉼표(,)로 구분, 보기: 2,3 , 귀납, 조건 증명은 물결(~)로 구분, 보기: 2~7 가정은 0 ~ 0 을 입력!
  • `not P` (부정문) 입력: 알파벳 + 키보드에서 -, 예: -P
  • `P ^^ Q` (연언문) 입력: 알파벳 + 키보드에서 &, 예: P&Q
  • `P vv Q` (선언문) 입력: 알파벳 + 알파벳 'V'의 소문자, v, 예: PvQ
  • `P -> Q` (조건문) 입력: 알파벳 + 키보드에서 -와 >, 예: P->Q
  • `P harr Q` (쌍조건문) 입력: 알파벳 + 키보드에서 <, - 그리고 >, 예: P<->Q
  • `(P -> Q)` 괄호 입력: 키보드에서 (, ), 예: (P->Q)