만약/그러면 — 조건 논리 퀴즈

만약 / 그러면 플레이 방법

1. 1

   진리표 학습

   로비의 진리표는 모든 것의 기초입니다. P→Q는 정확히 한 가지 경우에만 거짓입니다: P가 참이고 Q가 거짓일 때. 다른 모든 경우(P가 거짓인 경우 포함)에는 조건문이 참입니다. 이 '공허한 참'(거짓인 전건이 조건문을 참으로 만듦)은 초보자에게 가장 직관적이지 않은 개념입니다.

2. 2

   추론 규칙 인식

   긍정 논법(P→Q, P, ∴Q)과 부정 논법(P→Q, ¬Q, ∴¬P)은 유효합니다. 전건 부정(P→Q, ¬P, ∴¬Q)과 후건 긍정(P→Q, Q, ∴P)은 유효하지 않은 오류입니다. 기초 레벨은 네 가지 모두를 테스트합니다.

3. 3

   동치 형태 마스터

   중급 레벨은 네 가지 관련 형태를 테스트합니다: 대우(¬Q→¬P, 원본과 동치), 역(Q→P, 동치 아님), 이(¬P→¬Q, 동치 아님), 그리고 쌍조건문(P↔Q, P와 Q가 일치할 때만 참). 또한 P→Q ≡ ¬P∨Q는 선언 동치입니다.

4. 4

   고급 사례 처리

   고급 문제는 다음을 탐구합니다: 연쇄 가언 삼단논법(A→B→C→D는 A→D를 제공); P→Q가 거짓임을 알 때 결정할 수 있는 것(P=T, Q=F); (P→Q)∨(Q→P)와 같은 항진명제; 그리고 ¬(P→Q) = P∧¬Q의 부정. 이는 이산 수학 및 형식 논리 과정의 내용을 다룹니다.

주요 기능

• 3가지 레벨에 걸친 45개 문제

  기초 (15개): P→Q에 대한 네 가지 행 전체의 진리표; 유일한 거짓인 경우(P=T, Q=F) 식별; 긍정 논법(P→Q, P, ∴Q); 부정 논법(P→Q, ¬Q, ∴¬P); 전건 부정과 후건 긍정이 잘못된 이유; 공허한 참(거짓인 전건 = 항상 참). 중급 (15개): 대우(¬Q→¬P), 역(Q→P), 이(¬P→¬Q); 논리적으로 동치인 쌍; 쌍조건문(P↔Q); 선언 동치(P→Q ≡ ¬P∨Q); 조건문의 부정; 가언 삼단논법. 고급 (15개): 연쇄 조건문; 항진명제; P→Q가 거짓임을 알면 P=T, Q=F이 강제됨; 쌍조건문을 증명하기 위해 조건문 결합; P→Q와 ¬P→Q로부터 Q 결정; P→P의 논리적 의미.

• 상호작용형 진리표 로비

  로비는 P→Q의 전체 진리표를 색상 코딩된 진리값(참은 녹색 칩, 거짓은 빨간색 칩)으로 표시하고 거짓을 생성하는 유일한 행을 강조합니다. 이는 퀴즈가 시작되기 전에 지속적인 참조 역할을 하며 핵심 메커니즘을 가르칩니다.

• 의미론적 선택 색상 지정

  참(TRUE)이라고 표시된 답변 타일은 선택하기 전에도 미묘하게 녹색으로, 거짓(FALSE)이라고 표시된 타일은 빨간색으로 색칠되어 의미론적 의미와 일치합니다. 이는 모든 선택지를 시각적으로 동일하게 취급하는 대신 진리값 레이블과 그 의미 사이의 연관성을 구축합니다.

• 고정폭 글꼴 논리 표기

  질문과 설명은 표준 논리 표기법을 사용합니다: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. 고정폭 글꼴은 논리 구조를 스캔 가능하게 만들고 이산 수학, 컴퓨터 과학, SAT/LSAT 형식 추론 섹션에서 조건문이 나타나는 방식과 유사합니다.

자주 묻는 질문