EDB — 00T

[00T](Svolto il 2022-10-11) Una proposizione logica $𝜙$ è un’ asserzione che assume valore di verità o di falsità dipendentemente dal valore dato alle sue variabili libere, e solo da quello.