adding section on relations between logical connectives