9. Következtetés elsőrendű logikában

A VIK Wikiből
Ugrás a navigációhoz Ugrás a kereséshez

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót


Általános tudnivalók, tételek, definíciók:

9.1. Ítéletlogikai következtetés kontra elsőrendű logikai köveetkeztetés

9.2. Egyesítés és kiemelés

9.3. Előrefelé láncolás

9.4. Hátrafelé láncolás

9.5. Rezolúció

Feladatok:

A lap eredeti címe: „https://wiki.sch.bme.hu/index.php?title=9._Következtetés_elsőrendű_logikában&oldid=137700”