MichaelHoffmann/AGORA — Issue #175: bug in modus ponens "necessary condition."
Author: MichaelHoffmann
Created: 2012-01-15 12:03:34+00:00
State: open

The selection "necessary condition" in modus ponens cannot be saved on the server, as an error message says. Even though everything seems alright after clicking OK, the language form switched always back to "only if" after re-loading the map. Observed with "Kant's proof of the external world in transcendental form (B 275)"