논리 연습문제

객관식, 진리표 채우기, 간단히 하기, 동치 확인, 논리식 입력과 계산, 그리고 증명이 있습니다. 증명에는 빈 곳을 채워 완성하는 형식과 끌어다 놓아 만드는 증명 구성기도 포함됩니다. 명제 논리, 불 대수, 진리표, 논리적 동치, 술어 논리, 자연 연역으로 분류되어 있으며 분류·유형·난이도·태그로 걸러 볼 수 있습니다.

난이도 등급은 무엇을 뜻하나요?

입문, 중급, 고급, 전문가의 네 단계가 있습니다. 문제를 푸는 데 걸리는 시간이 아니라 얼마나 알아야 하는지를 나타냅니다. 각 문제에는 예상 소요 시간과 배점도 함께 표시됩니다.

훈련 세션이란 무엇인가요?

한 가지 난이도의 문제를 이어서 푸는 것으로, 원한다면 연습하고 싶은 분류와 유형으로 범위를 좁힐 수 있습니다. 진행하면서 점수를 기록하고, 끝나면 결과를 정리해 보여 주며 위 난이도가 있으면 그것을 제안합니다.

제 답은 어떻게 채점되나요?

브라우저 안에서, 계산기를 움직이는 것과 같은 엔진이 채점합니다. 대부분의 유형은 공백과 표기를 정리한 뒤 답을 정답과 비교합니다. 논리식 입력은 한 걸음 더 나아가 논리적 동치를 확인하므로, 다르게 썼더라도 뜻이 같은 식이면 정답으로 인정됩니다. 모든 문제에는 해설이 있으며 답을 낸 뒤에 표시됩니다.

막히면 힌트를 볼 수 있나요?

네, 힌트가 있는 문제에서는 답을 드러내지 않고 펼쳐 볼 수 있는 힌트를 제공합니다. 그것으로 부족하다면 그 주제를 다루는 안내서로 돌아가는 편이 대개 가장 빠릅니다. 연습 문제의 분류와 안내서는 같은 주제를 따릅니다.

모든 질문 보기

훈련

참 그리고 거짓의 결과는 무엇입니까?

거짓 또는 참의 결과는 무엇인가요?

아님 참의 결과는 무엇인가요?

주어진 전제들로부터 Q를 증명하기 위해 다음 단계들을 올바른 순서로 배열하시오. 목표: Q를 증명하시오

다음 식을 평가하시오: P ∧ Q (단, P = 참이고 Q = 참일 때)

다음 식을 평가하시오: P ∨ Q (단, P = 거짓, Q = 참)

이 증명에서 누락된 정당화를 채우세요. 목표: Q를 증명하기

다음 문장을 논리 기호로 표현하세요: "비가 오면, 땅이 젖는다" 사용할 기호: - R: "비가 온다" - W: "땅이 젖는다" - ** → **: 함의(implication) 계산기에서 사용 가능한 기호를 사용하여 답을 입력하세요.

다음 명제를 논리 기호로 표현하세요: "날씨가 맑고 따뜻하다" 다음을 사용하세요: - S는 "날씨가 맑다" - W는 "따뜻하다" - ** ∧ **는 논리곱 (and) 계산기에서 사용 가능한 기호를 사용하여 답을 입력하세요.

다음 문장을 논리 기호로 표현하세요: "비가 오지 않는다" 사용할 기호: - R: "비가 온다" - ¬: 부정 (not) 계산기에서 사용 가능한 기호를 사용하여 답을 입력하세요.

카테고리별 탐색

부울 대수

논리 동치

명제 논리

진리표

난이도별 탐색

초급

중급

고급

전문가

유형별 탐색

객관식

단순화

동치 확인

드래그 앤 드롭 증명

표현식 평가

증명 완성

증명

표현식 입력

진리표

자주 묻는 질문

다음 문장을 논리 기호로 표현하세요: "비가 오면, 땅이 젖는다" 사용할 기호: - R: "비가 온다" - W: "땅이 젖는다" - → : 함의(implication) 계산기에서 사용 가능한 기호를 사용하여 답을 입력하세요.

다음 명제를 논리 기호로 표현하세요: "날씨가 맑고 따뜻하다" 다음을 사용하세요: - S는 "날씨가 맑다" - W는 "따뜻하다" - ∧ 는 논리곱 (and) 계산기에서 사용 가능한 기호를 사용하여 답을 입력하세요.