3 ms·
Good idea. It makes sense that if there is a "Counterexample" button, there should also be an "Example" button. I have added an "Example" button to the app.
by mackwai 9y ago
Good idea. It makes sense that if there is a "Counterexample" button, there should also be an "Example" button. I have added an "Example" button to the app. I've only tested it a little, so if you try it out, please tell me if it isn't working.
- kmill 9y agoI tried it with a few examples ("Hx", "x=y", Correa's counterargument) but it seems to always throw this error: > Error: TypeError: constructProposition(...).findExample is not a function I've enjoyed playing with the program (and I like seeing the different ways people design computer languages for logic). Another feature that might be interesting is to be able to ask the program for another example or counterexample. I imagined an "Another" button below a given example or counterexample. This is assuming the program already has the ability to enumerate worlds.
- mackwai 9y agoI had that same error; Firefox was using a cached version of a Javascript file instead of loading the new one. Typing Ctrl+F5 (Reload & override cache) fixed it. I don't know the command for other browsers. I might try to implement an "another example" feature some time. The program enumerates worlds internally when it is searching for an example/counterexample, so that feature should be doable.