lambda x . [ x giggles ], lambda x . [ x studies in Düsseldorf ], lambda y . lambda x . [ x chased y ], lambda z . lambda y . lambda x . [ x gave y to z ], [ lambda x .[ snored ( x ) ] ] ( Gandalf ), lambda x . [ x chased Fido ], [ [ John gave Mary the present ] ] = 1, lambda y . lambda x . [ x gave y to Mary ], lambda x . [ not ( x giggles ) ], lambda x . [ ( x sings ) and ( x dances ) ]

Logic Practice No.1

Leaderboard

Visual style

Options

Switch template

Continue editing: ?