livla
livla copied to clipboard
connectives negation problem
on parsing as "mi mo na zo'e gi'e mo na gi'a mo"
gi'e ... na gi'a -> ~(p ^ q) v r
which is not (p ^ ~q) v r