Hazırlayanlar: Öğr.Gör. Hasan Irşafi, Dr. Kamal Bakkur

Araştırma özeti:

Araştırma, bazı sezgisel mantık çağrışımlarının hesaplanmasında Heitnik’in formatlarından bazı formülleri inceledi. Heitnik modelinin aksiyomlarına güvenildi, üç türev kuralının, sempati, değiştirme, statü ve önceki formüllerden türetilen yeni formülleri bulmak için Heitnik’deki kanıtlardan yararlandı, Sezgisel mantıkta bazı tamamlayıcı formüllere ulaştık, en önemlisi:

K ,K⊃L ,K⊃( L⊃M) ⊢L∨M
L⊃M ,K⊃L ,K⊃M ⊢(L∨K)⊃(L∧M)
L⊃K ,M⊃K ,L∧M ⊢K∧L

Heitnik sistemin bir biçimini kanıtlamak için hakikat ağaçları yöntemi de kullanıldı.

Anahtar Kelimeler: Sezgisel mantık (Intuitionistic logic), Heitnik’in sistemi (Hyting’s system), türetme kuralları (derivation rules), hakikat ağaçları(truth trees), Tamamlanma sorunu (the problem of completion)

Araştırmayı paylaşın!

Dergi Hakkında

Kurtarılmış bölgelerde bir üniversite tarafından Arapça olarak yayınlanan, çeşitli disiplinlerde bilimsel araştırma ve akademik çalışmalara konu olan, bilgilendirme ve soruşturmada bilimsel araştırma koşullarının uygulandığı, metodoloji ve basamakların uygulandığı, üç ayda bir hakemli bilimsel dergi. bilimsel araştırma.

En son makaleler

Daha Fazla Oku