본문으로 건너뛰기
논리 계산기
계산기
합성
학습
연습문제
테마 선택:
시스템
언어 선택:
🇰🇷
한국어
메뉴
계산기
합성
학습
연습문제
테마
테마 선택:
시스템
언어
언어 선택:
🇰🇷
한국어
←
연습문제로 돌아가기
0:00
중급
논리 동치
증명
주어진 전제:
P → Q
Q → R
증명하시오: P → R
P → Q, Q → R ⊢ P → R
목표: ? 증명
단계별로 증명 구축하기
1.
P → Q
전제
2.
Q → R
전제
힌트 얻기
여기서 훈련 시작
제출
이론 학습하기
이 연습 문제에서 다루는 내용을 설명하는 가이드입니다.
수학에서의 논리
→
증명 기법과 수학적 귀납법부터 집합론, 한정사, 수학적 진리의 철학까지 논리가 수학의 기초를 어떻게 형성하는지 이해하세요.
부울 대수 소개
→
디지털 회로와 컴퓨터 과학에서 사용되는 부울 대수의 기본 개념, 법칙 및 응용을 이해합니다.
관련 연습문제
난이도:
고급
카테고리:
논리 동치
유형:
증명
전제가 주어졌을 때: 1. P → Q 2. R → S 3. P ∨ R 증명하시오: Q ∨ S
난이도:
초급
카테고리:
논리 동치
유형:
드래그 앤 드롭 증명
주어진 전제들로부터 Q를 증명하기 위해 다음 단계들을 올바른 순서로 배열하시오. 목표: Q를 증명하시오
난이도:
중급
카테고리:
논리 동치
유형:
드래그 앤 드롭 증명
주어진 전제들로부터 S를 증명하기 위해 다음 단계들을 올바른 순서로 배열하시오. 목표: S를 증명하시오
난이도:
중급
카테고리:
논리 동치
유형:
드래그 앤 드롭 증명
주어진 전제들로부터 R을 증명하기 위해 다음 단계들을 올바른 순서로 배열하세요. 목표: R 증명
←
이전
다음 전제가 주어졌을 때: 1. P → Q 2. ¬Q 증명하시오: ¬P
난이도:
중급
카테고리:
논리 동치
유형:
증명
다음
→
다음 전제가 주어졌을 때: 1. P ∨ Q 2. ¬P 증명하시오: Q
난이도:
고급
카테고리:
논리 동치
유형:
증명