Logic

Wed, 04/28/2010 - 02:38 — dhakajack

Submitted by: Emily Boegheim Score: Not yet available.
Length: 140 characters
Computer Language: Inform 7
Interface Language: English
Description

An interactive introduction to formal logic. Use LEAVE to navigate the space, TAKE and DROP to manipulate symbols, and LOOK to see the results of your actions.

Instructions

Play it online

Download: Logic

Source Code:

Use the arrow to expand or collapse this section

"Logic"

X is room. Outside from X is Y. Outside from Y is X.
P is in X. Not-P is in Y.

After looking:
	if P is in location and Not-P is in location:
		end the game saying "Paradox".

IF
TWIFplus

TWIFcomp

Recent comments

Logic