LessonsConditional Propositions: Connectives, Disjunctions and Their Main KindsQuiz

The antecedent (muqaddam) is the proposition introduced as the condition; the consequent (tālī) is what is connected to it. These names reflect their logical roles, not simply the number of words before and after a pause.

«إن كان زيد إنسانا كان حيوانا»
If Zayd is human, he is an animal.

Antecedent: Zayd is human.
Consequent: Zayd is an animal.

The claim concerns the connection between humanity and animality. Affirming the antecedent and affirming the connection must not be confused.

Opening interactive controls...

Identifying the antecedent and consequent

Conditional Propositions: Connectives, Disjunctions and Their Main Kinds

The antecedent (muqaddam) is the proposition introduced as the condition; the consequent (tālī) is what is connected to it. These names reflect their logical roles, not simply the number of words before and after a pause.

«إن كان زيد إنسانا كان حيوانا»
If Zayd is human, he is an animal.

Antecedent: Zayd is human.
Consequent: Zayd is an animal.

The claim concerns the connection between humanity and animality. Affirming the antecedent and affirming the connection must not be confused.