Generate premises #1
Description
- combine parent nodes into desired number of premises
- randomly generate logical operators to connect nodes of each premise
- negate conclusion
- add to gui
- put in latex form
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}