Log. - Nella logica formale classica,
proposizione che, nel predicato, ripete ciò che il soggetto già
esprime:
i quadrupedi hanno quattro zampe. ║
Nella logica
moderna, il termine designa le verità logiche del calcolo proposizionale,
per cui un'espressione può definirsi
t. se è vera,
qualsiasi valore di verità venga assegnato alle variabili enunciative che
la compongono. Presa, ad esempio, un'espressione quale
piove o non
piove,
la variabile enunciativa è
piove; sostituendola
con una qualsiasi altra variabile, l'espressione non perde di verità.