Post #2685450

I know this is pretty obvious...but predicate logic looks quite neat as a graph rewriting system (is everything just graph rewriting???) Its a shame that manipulating graphs using code is a faff (i.e., juxtaposition between line-based text and graphical 2D graphs) For example, De Morgan's looks like this...