WFF 'N PROOF

WFF(관련 항목 참조)에서 시작된 21개 게임을 모두 모은 세트입니다. 특수 주사위 36개, 타이머, 규칙과 예시를 담은 184쪽 분량의 설명서가 들어 있습니다. 이 세트의 게임은 ‘프로그램 학습’ 순서에 따라 논리 규칙을 익히도록 구성되어 있습니다. 각 게임은 이전 게임의 내용을 더해 가며, 21번째 게임인 Frantic WFF 'N PROOF에 이릅니다. 플레이어는 정식 논리식(Well-Formed Formula, WFF)을 만드는 동시에 추론 규칙을 사용해 목표를 달성해야 합니다. 예를 들어 목표가 ‘p’라면, ‘Ko’(또는 conjunction out) 규칙을 사용하고 전제로 ‘Kpq’를 놓을 수 있습니다. 다시 말해, “WFF 'N PROOF의 첫 게임들은 쉽고 마지막 게임들은 어렵다”라는 문장이 참이라면, “WFF 'N PROOF의 첫 게임들은 쉽다”라는 문장도 참이라고 추론할 수 있습니다. 진행 중인 게임에 따라 주사위를 최대 36개까지 굴립니다. 한 플레이어가 플레이 매트의 목표 영역에 WFF를 만들어 ‘목표’를 정합니다. 그런 다음 플레이어들은 플레이 영역의 ‘허용’ 구역이나 ‘필수’ 구역에 번갈아 주사위를 놓습니다. 필수 구역에 주사위를 놓았다면 그 주사위는 반드시 전제나 규칙에 사용해야 합니다. 주사위를 사용할 수 없다고 생각하면 상대에게 이의를 제기할 수 있습니다. 이기려면 이의 제기에 성공하거나, 상대의 이의 제기를 성공적으로 방어해야 합니다. 3~19번 게임에서는 논리적 추론의 11가지 규칙을 차례로 소개합니다. 규칙은 연언(Conjunction), 함축(Implication), 재진술(Reiteration), 선언(Disjunction), 부정(Negation), 동치(Equivalence) 순으로 추가됩니다. 이어 20번 게임인 PC(명제 계산법, Propositional Calculus) 게임에서는 파생 규칙 18가지를 더합니다. 마지막 21번 게임 Frantic WFF 'N PROOF는 PC 게임에 시간제한이 있는 수를 더해 빠르고 혼란스러운 점수 경쟁을 펼칩니다.