Template:Logical connectives table and Hasse diagram