When an implication is translated by a hypothetical (or conditional) judgment the antecedent is called the hypothesis (or the condition) and the consequent is called the thesis.
Кога една импликација ќе се преведе во хипотетичко (или условно) расудување, претходникот се нарекува хипотеза (или услов), а следственикот се нарекува теза.