Logical syllogisms