Implement more human-readable print for terms/formulas - Githubissues

ed963 / fol_ly

This repository contains an implementation of concepts from first-order logic, mainly to test my understanding as I work through Christopher C. Leary's "A Friendly Introduction to Mathematical Logic".

MIT License

0 stars 0 forks source link

Implement more human-readable print for terms/formulas #2

Open ed963 opened 2 months ago

ed963 commented 2 months ago

Currently, __str__ for terms/formulas return the "canonical" string representation, which may not be very human-readable.

Potentially explore adding "readable_print" method that prints a more human-readable string representation of terms/formulas:

Add additional brackets to separate arguments to functions/relations?
Automatic conversion of the following?
- $(\alpha\wedge\beta)$ will mean $(\neg((\neg\alpha)\vee(\neg\beta)))$
- $(\alpha\rightarrow\beta)$ will mean $((\neg\alpha)\vee\beta)$
- $(\alpha\leftrightarrow\beta)$ will mean $((\alpha\rightarrow\beta)\wedge(\beta\rightarrow\alpha))$
- $(\exists x)(\alpha)$ will mean $(\neg(\forall x)(\neg\alpha))$