Kielégíthető

Innen: testwiki

A lap korábbi változatát látod, amilyen imported>E46hg2 2020. április 4., 00:42-kor történt szerkesztése után volt. (en1 sablon)

(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)

Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Humatek Azt mondjuk, hogy az ${F_{1}, \dots, F_{n}}$ formulahalmaz kielégíthető, ha létezik olyan változó kiértékelés, amelyre minden $F_{1}, \dots, F_{n}$ formula logikai értéke igaz.

Sablon:En: Sablon:T

A lap eredeti címe: „https://hu.wiktionary.beta.math.wmflabs.org/w/index.php?title=Kielégíthető&oldid=509”