kielégíthető

Magyar

Kiejtés

• IPA: [ ˈkijɛleːɡiːthɛtøː]

Melléknév

kielégíthető

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

• angol: satisfiable (en)