본문으로 건너뛰기
논리 계산기
계산기
합성
학습
용어 사전
연습문제
테마 선택:
시스템
언어 선택:
🇰🇷
한국어
메뉴
계산기
합성
학습
용어 사전
연습문제
테마
테마 선택:
시스템
언어
언어 선택:
🇰🇷
한국어
←
연습문제로 돌아가기
0:00
난이도:
중급
카테고리:
논리 동치
유형:
증명 완성
다음 모순을 이용한 증명을 완성하세요:
P → Q (전제)
P (전제)
¬Q (전제)
_____ (?)
_____ (?)
목표: 모순 도출
P → Q, P, ¬Q ⊢ ⊥
목표: ? 증명
빈 필드를 클릭하여 증명을 작성하세요
힌트 얻기
여기서 훈련 시작
제출
이론 학습하기
이 연습 문제에서 다루는 내용을 설명하는 가이드입니다.
수학에서의 논리
→
증명 기법과 수학적 귀납법부터 집합론, 한정사, 수학적 진리의 철학까지 논리가 수학의 기초를 어떻게 형성하는지 이해하세요.
철학에서의 논리
→
논리 철학, 양상 체계, 논증 분석, 역설, 논리적 진리의 본질을 포함하여 논리와 철학 사이의 깊은 관계를 탐구하세요.
관련 연습문제
난이도:
고급
카테고리:
논리 동치
유형:
증명 완성
다음 증명을 완성하시오: 1. P ↔ Q (전제) 2. Q ↔ R (전제) 3. P (전제) 4. _ (?) 5. _ (?) 목표: R을…
난이도:
중급
카테고리:
논리 동치
유형:
증명
다음 전제가 주어졌을 때: 1. P → Q 2. P 증명하시오: Q
난이도:
중급
카테고리:
논리 동치
유형:
증명
다음 전제가 주어졌을 때: 1. P → Q 2. ¬Q 증명하시오: ¬P
난이도:
중급
카테고리:
논리 동치
유형:
증명
주어진 전제: 1. P → Q 2. Q → R 증명하시오: P → R
←
이전
다음 증명을 완성하시오: 1. P → Q (전제) 2. Q → R (전제) 3. P (전제) 4. _ (?) 5. _ (?) 목표: R을…
난이도:
중급
카테고리:
논리 동치
유형:
증명 완성
다음
→
경우 분석을 사용하여 다음 증명을 완성하세요: 1. P ∨ Q (전제) 2. P → R (전제) 3. Q → R (전제) 4. Case 1:…
난이도:
고급
카테고리:
논리 동치
유형:
증명 완성
