Statements can connect by IF/THEN, as in IF a THEN b {conditional statement, logic}. The only false conditional is when first statement is true and second is false. If antecedent is false, all consequents are true.
hypothetical
Conditionals are hypotheticals. If their statements do not relate, reasoning seems suspect. Such conditionals are typically not possible in universe, and conditional probability is typically zero.
not proposition
Perhaps, conditionals are not propositions and so are not true or false (V. H. Dudman).
Antecedent precedes second statement {consequent, logic} {apodosis}.
First statement {antecedent, logic} {protasis, logic} precedes consequent.
Conditions {condition} are necessary or sufficient. If X is not true, Y is not true {necessary condition}. If X is true, Y is true {sufficient condition}.
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0225