^^Funzione logica.

 

Terminologia

Every PL wff has a truth table giving its truth value on every possible valuation to its atoms.

valuation ≡ no assignment of values

Traducendo letteralmente l'inglese

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"

 

Valori combinatorialmente possibili VS realmente possibili

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.

 

Links

wp/boolean-expression-compression