tümdengelim

basit Mantık Bilmeceleri

Kedi ve Balık:
Eğer bir hayvan kedi ise, balık yer.
Tom bir kedidir.
Sonuç: Tom balık yer.
Parti ve Dans:
Eğer bir kişi dans ediyorsa, partidedir.
Ayşe dans ediyor.
Sonuç: Ayşe partidedir.
Yağmur ve Şemsiye:
Eğer yağmur yağıyorsa, şemsiye alınır.
Bugün yağmur yağıyor.
Sonuç: Bugün şemsiye alınır.
Öğrenci ve Sınav:
Eğer bir kişi çalışkansa, sınavı geçer.
Ali çalışkandır.
Sonuç: Ali sınavı geçer.
Araba ve Hız:
Eğer bir araba spor araba ise, hızlıdır.
Ferrari bir spor arabadır.
Sonuç: Ferrari hızlıdır.

Sembolik Mantık ve Parçalama

Her bilmece için:

Sembolik Mantık:
Kedi: ∀x (Kedi(x) → BalıkYer(x)), Kedi(Tom) ⊢ BalıkYer(Tom)
Parti: ∀x (DansEdiyor(x) → Partide(x)), DansEdiyor(Ayşe) ⊢ Partide(Ayşe)
Yağmur: ∀x (YağmurYağıyor(x) → ŞemsiyeAlınır(x)), YağmurYağıyor(Bugün) ⊢ ŞemsiyeAlınır(Bugün)
Öğrenci: ∀x (Çalışkan(x) → SınavıGeçer(x)), Çalışkan(Ali) ⊢ SınavıGeçer(Ali)
Araba: ∀x (SporAraba(x) → Hızlı(x)), SporAraba(Ferrari) ⊢ Hızlı(Ferrari)
Özne-Yüklem Parçalama:
Örnek (Kedi):
Özne: x (herhangi bir hayvan), Tom
Yüklem: Kedi(x), BalıkYer(x)
Bağlaç: → (koşullu)
Dizi: [Kedi(Tom), BalıkYer(Tom)]