The semantics of logical connectives and mental logic