Logic navigational boxes

Template:Logical connectives

Template:Mathematical logic

Template:Logical truth

Template:Classical logic