discussion:sa:logical-connectives