Two standard valid moves with a conditional are:
Affirm P: If rain then wet ground; rain occurred; therefore wet ground.
Deny Q: If rain then wet ground; the relevant ground is not wet; therefore that rain did not occur.
Both require the conditional to apply to the same place, time, and circumstances.
Opening interactive controls...
The two valid conditional patterns
Types of Qiyas: Istithna’i and Iqtirani
Two standard valid moves with a conditional are:
Affirm P: If rain then wet ground; rain occurred; therefore wet ground.
Deny Q: If rain then wet ground; the relevant ground is not wet; therefore that rain did not occur.
Both require the conditional to apply to the same place, time, and circumstances.