논리 및 형식 추론 학습

학습 안내서부터 시작하세요. 가나다순이 아니라 읽는 순서대로 배열되어 있고, 목록에는 각 안내서의 단계 번호와 전제하는 수준이 표시됩니다. 이미 알고 있는 논리 수준을 사이트에 알려 주면 출발점이 그 수준의 첫 안내서로 옮겨 갑니다. 그 앞의 안내서들은 배경 지식으로 목록에 남습니다.

읽기가 얼마나 어려운지가 아니라, 그 안내서가 어느 정도의 논리 지식을 전제하는지를 나타냅니다. 읽는 순서는 이 수준들을 거슬러 올라가지 않으므로, 자기 수준을 고른 뒤에는 출발점부터 앞으로 읽어 나가기만 하면 건너뛴 안내서에 의존하는 내용을 만나지 않습니다.

네, 이 브라우저 안에서요. 안내서를 읽음으로 표시하면 목록의 진행 수와 각 안내서 끝의 '다음에 읽을 것' 제안이 갱신되며, 이 제안은 현재 글 다음으로 아직 읽지 않은 첫 안내서를 가리킵니다. 어디로도 전송되지 않고, 사이트 데이터를 지우면 초기화됩니다.

표기법을 알아볼 수 있을 만큼 안내서를 읽고 나서 연습하세요. 연습 문제는 안내서가 다루는 주제와 같은 기준으로 묶여 있어서, 안내서 하나를 읽고 그 분류의 문제를 풀고, 답이 술술 나오기 시작하면 다음 안내서로 넘어가는 흐름이 보통입니다.

명제 논리는 논리 연산자를 사용한 명제들 사이의 관계에 초점을 맞추고, 불 대수는 이진 값(참/거짓 또는 1/0)을 다루는 수학적 구조입니다. 이 계산기는 둘 다 지원하며 비슷한 연산자를 사용합니다.