De hulpstelling zou toegepast moeten kunnen worden, dat betekent dat er bij de regels een optie hulpstelling moet zijn, en dat deze op het moment dat hij wordt aangeroepen naar de backend gestuurd; dat zou volgens mij moeten kunnen zoals op dit moment in logaxSurvey een eigen lemma wordt verstuurd:
{"source":"logax-survey","method":"apply","params":["logic.propositional.axiomatic.lemma","[]",{"phi":"p -> p","n":""},["logic.propositional.logax","[]",[{"number":1,"term":" |- p -> ~~p","label":"lemma"},{"number":1000,"term":"~~p |- p"}],{},["123","fe92f7dc024728a3d472","1000. ~~p |- p\n"]]],"encoding":"json","logging":"v2"}
De hulpstelling zou toegepast moeten kunnen worden, dat betekent dat er bij de regels een optie hulpstelling moet zijn, en dat deze op het moment dat hij wordt aangeroepen naar de backend gestuurd; dat zou volgens mij moeten kunnen zoals op dit moment in logaxSurvey een eigen lemma wordt verstuurd:
{"source":"logax-survey","method":"apply","params":["logic.propositional.axiomatic.lemma","[]",{"phi":"p -> p","n":""},["logic.propositional.logax","[]",[{"number":1,"term":" |- p -> ~~p","label":"lemma"},{"number":1000,"term":"~~p |- p"}],{},["123","fe92f7dc024728a3d472","1000. ~~p |- p\n"]]],"encoding":"json","logging":"v2"}