Every PL wff has a truth table giving its truth value on every possible valuation to its atoms.
valuation ≡ no assignment of values
valutare la funzione valutando gli argomenti
valutare l'argomento elementare (=def) assegnargli un valore.
Ma a me viene da dire che l'argomento elementare piu' che "valutato" viene "assegnato", o "valorizzato"
in other words
Why? ex: P = Jack is married; Q = Jack is single;
combinatorially, we can assign both these atoms P Q the value T. But with their given interpretations, there can be no situation in which these atoms are true together. So in this case there is no realizable, meaning-respecting, r-possible valuation of P and Q which gives them both the value T.
ex: R = all mothers are parents.
so expresses a necessary truth, and therefore takes the value T whatever the situation. Then there is no r-possible valuation, no assignment of values which respects the meaning of R, which assigns it the value F.
wp/boolean-expression-compression