A(z) „Skolem-normálforma” lapra hivatkozó lapok
Megjelenés
5 elem listázva.
- Konjunktív normálforma (← erre mutató hivatkozások | szerkesztés)
- Diszjunktív normálforma (← erre mutató hivatkozások | szerkesztés)
- Herbrand-univerzum (← erre mutató hivatkozások | szerkesztés)
- Kanonikus alak (← erre mutató hivatkozások | szerkesztés)
- Wikipédia:Cikkértékelési műhely/Matematikai szócikkek/32 (← erre mutató hivatkozások | szerkesztés)