 The authors take no notice of this problem and do not directly address it. When discussing complex propositions, the Logic shifts from explicit considerations of comprehension and extension to truth conditions. A conditional is false when the antecedent is true and the consequent false and true when both are true; a conjunction is true when both conjuncts are true and false otherwise, and so on in the familiar way. Regarding conditional propositions, the Logic additionally relates them to inferences. To think “If P then Q” is to think of deducing the consequent from the antecedent (II.9, 100). From the perspective of Kant (for example), these problems stem from supposing that mental propositions are formed by merely combining or “fusing” elements together. If conditionalizing, disjoining, predicating, etc. are taken to be mental operations distinct from affirmation and denial, a closer connection between mental and verbal propositions becomes possible (see Section 1 of  Kant’s theory of judgment).