Hesap Mekanizması Esaslar Önermeler

Prof. Dr. Doğan Çalıkoğlunun ilk dersindeki sayfa 13 teki alıştırımı çözmek epey zamanımı aldı doğrusu. Birkaç matematikçi bilişimciye gösterdim ama işin içinden çıkamadılar. Ama sırrını çözdüm . Tüm g1 leri altalata yazıp karşısına da g2 önermelerini yazdım ve ilgili olanları karşı karşıya getirdim. Gördüm ki
tam zıt önermeler varmış Örneğin

a gerektirir b b gerektirir a
a içerir b b içerir a
a için b gerekli b için a gerekli


gibi....