-------------------------------
-
#4846
- E'(szigma) pedig E(szigma) klózainak halmazát jelöli
- mit jelent az, hogy klózainak halmazát?
- ez aranyos volt
hát a klóz
azzz
egy {l1....ln} literálok halmaza
-át jelöli
:D
egy literál pedig egy p vagy ~p alakú formula
az ítéletkalkulusban
ahol p ítéletváltozó, azaz ítéletkalkulusbeli predikátumszimbólum
egy predikátumszimbólum pedig egy n aritású leképezés
0 vagy 1 (igaz vagy hamis) értékekre
az aritás pedig csak annyit jelöl, hogy hány paramétertől függ a kimenete valaminek
pl f(x) függvény egy aritású, mert csak x-től függ
más kérdés?
- azt hiszem nem lesz több...
sry, lehet nem annyira vicces, de így hajnalban 1 percig röhögtem :D