If the accepted conditional is “If the sun rises, it is daytime,” and the next premise affirms that the sun has risen, then daytime follows. Form:
1. If P, then Q.
2. P.
3. Therefore Q.
The conclusion depends on the conditional link, not on a shared word by itself.
Opening interactive controls...
Valid form one: affirm the antecedent
Types of Qiyas: Istithna’i and Iqtirani
If the accepted conditional is “If the sun rises, it is daytime,” and the next premise affirms that the sun has risen, then daytime follows. Form:
1. If P, then Q.
2. P.
3. Therefore Q.
The conclusion depends on the conditional link, not on a shared word by itself.