A consequence is a hypothetical, conditional proposition: two propositions joined by the terms 'if ... then'.
Μια συνεπαγωγή είναι μια υποθετική, δυνητική πρόταση: δύο προτάσεις συνδέονται από τη διάταξη "αν...τότε".