gerçek acıdır biber de acıdır gerçek biberdir

bilmiyorum hala var mı ama lisede felsefe derslerinde öğrencilerin tartışması için öğretmenin ortaya attığı "aristo mantığı" çerçevesinde bir teorem.

evet evet gerçekten biz bunun tartışmasını yapmıştık sınıfta. hocamız;

gerçekler acı, biber de acı o zaman biber bir gerçek mi? hadi çocuklar bugün bunu tartışıyoruz diye sınıfa girmiş sonra da köşesine çekilmişti. karşısında "0_o" şeklinde bakışan öğrenciler bırakıp. o gün ne konuşuldu sonuç ne çıktı inanın bilmiyorum, çünkü soruyu duyar duymaz mp3 çalarımı kulağıma takıp ben de köşeme çekilmiştim. hey gidi hey..

önermeler mantığında kullanılan sistemdir.
x=y ve y=z ise x=z 'dir.
burda sorun öncüllerin (x=y ve y=z nin) kesin doğru olduğunu denetlemektir.