livla icon indicating copy to clipboard operation
livla copied to clipboard

connectives negation problem

Open lagleki opened this issue 9 years ago • 0 comments

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   

lagleki avatar Jul 17 '15 15:07 lagleki