önermeler mantığında tanımlı akıl yürütme kurallarından yalnızca biri. formülize edilmiş hali de şöyledir.
p->q
q->r
------
:. p->r
q'nun oluşması için p'nin oluşması gerekli ise, r'nin oluşması için de q'nun oluşması gerekli ise tabi ki r'nin oluşması için p'nin oluşması gereklidir sonucu çıkar.
(bkz:
bizi uzaylı sanan giriler)
yazar :
aristo