bugün

ışid

A=b ve b=c ise a=c dir.

Genelden özele çıkarımı ifade eden kullanımdır.

Misal "fareler kemirgendir, elimdeki hayvan bir faredir o halde elimdeki canlı bir kemirgendir" demenin formülasyonudur.