Poproszę o pomoc w rozwiązaniu poniższego zadania: "Jan ma psa, który jest większy od (każdego) kota"
Stała: Barbara
Pies(x) - x jest psem
posiada(x,y) - x posiada y
kot(x) - x jest kotem
większy(x,y) - x jest większy od y
Utknąłem na tym, że:
Ex((Jan) AND posiada(Jan,pies(x))) AND Ax(kot)=>większy(pies(x),kot(x))
rachunek predykatów
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij