Kielégíthető

Innen: testwiki

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”