A lap korábbi változatát látod, amilyen
Unknown user (vitalap) 2012. október 21., 22:05-kor történt szerkesztése után volt.
(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)
A nyomtatható változat már nem támogatott, és hibásan jelenhet meg. Kérjük, frissítsd a böngésződ könyvjelzőit, és használd a böngésző alapértelmezett nyomtatás funkcióját.
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: