Η φράση "satisfiable formula" αναφέρεται σε ένα μαθηματικό ή λογικό τύπο που μπορεί να είναι σωστός (ή "ικανοποιημένος") εντός ενός συγκεκριμένου συνόλου κανόνων ή παραμέτρων. Στη λογική, μια "ικανοποιήσιμη" φόρμουλα είναι εκείνη που υπάρχει τουλάχιστον μία ερμηνεία (ή μια αντιστοίχιση τιμών) που την καθιστά αληθή. Αυτή η έννοια χρησιμοποιείται ευρέως στα μαθηματικά, την πληροφορική και τη λογική.
Η συχνότητα χρήσης της φράσης "satisfiable formula" είναι πιο συχνή σε γραπτές ακαδημαϊκές ή τεχνικές αναφορές, δεδομένου ότι σχετίζεται με εξειδικευμένα πεδία, όπως η θεωρία της υπολογισιμότητας και η λογική.
Το πρόβλημα λογικής απαιτεί μια ικανοποιήσιμη φόρμουλα για να βρει μια λύση.
In propositional logic, a satisfiable formula is one that can be true under at least one interpretation.
Στη προτασιακή λογική, μια ικανοποιήσιμη φόρμουλα είναι αυτή που μπορεί να είναι αληθής κάτω από τουλάχιστον μία ερμηνεία.
To prove the theorem, we need to show that there exists a satisfiable formula.
Η φράση "satisfiable formula" δεν χρησιμοποιείται συχνά σε ιδιωματικές εκφράσεις. Ωστόσο, σχετικές έννοιες μπορούν να συνδεθούν με διαφορετικά πλαίσια όπως οι μαθηματικές έννοιες ή η λογική.
Η εύρεση μιας ικανοποιήσιμης φόρμουλας μπορεί να είναι σαν να ψάχνεις για μια βελόνα σε ένα άχυρο.
"In theoretical computer science, a satisfiable formula is often the key to optimization problems."