search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Create some example cases for easier experimentation with the widget. #11

Closed McTano closed 5 years ago

McTano commented 5 years ago

The current single-page app can be set up as a demo for trying out the interface. It would be nice to add a drop down menu with some example sets of premises.

kylemas commented 5 years ago

I was wondering what you mean by drop-down menu? Maybe we could just have a Navbar with some options for other sample sets?

McTano commented 5 years ago

Nothing complicated. What I actually mean is an HTML select tag. https://developer.mozilla.org/en-US/docs/Web/HTML/Element/select

The options would be things to test like simple theorems ("Modus Ponens", "De Morgen's Law"), or non-theorems ("Affirming the Consequent"). Maybe some more complicated cases too.

McTano commented 5 years ago

This is low priority, but would be pretty simple to do.

drgilbert commented 5 years ago

This would be super helpful, especially to play around with how things are working. Perhaps the best option would be to actually allow a user to construct their own premise sets.

This would involve adding something like a "New tree" option somewhere. Then a little window (popup?) where you can add at least one formula (up to...?) and then begin analyzing. Obviously, in addition to being super helpful for testing, this is something that we would want down the road, as a huge point of this whole thing is to allow students to practice constructing, and working with, tableaux.