If a proposition's truth value is "truth" then the variable's value is said to satisfy the propositional function.
Αν η πραγματική τιμή μιας πρότασης είναι "αλήθεια", τότε η τιμή της μεταβλητής ικανοποιεί την προτασιακή συνάρτηση.