[Test] Connectives with components that have lower precedence - Githubissues

melvic-ybanez / lohika

A Proof Generator for Entailments and Tautologies in First-order Logic

MIT License

37 stars 1 forks source link

[Test] Connectives with components that have lower precedence #12

Closed melvic-ybanez closed 3 months ago

melvic-ybanez commented 3 months ago

[x] Conjunctions containing Disjunctions
[x] Disjunctions containing Implications
[x] Implications containing Biconditionals