„9. Következtetés elsőrendű logikában” változatai közötti eltérés

A VIK Wikiből
Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloKovetkeztetesElsorenduLogikaban}} __TOC__ ==Általános tudnivalók, tételek, definíciók:== ===9.1. Ítéletlogikai követ…”
 
(Nincs különbség)

A lap jelenlegi, 2012. október 21., 21:05-kori változata

Ez az oldal a korábbi SCH wikiről lett áthozva.

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: