OKPEDIA LOGICA PROPOSIZIONALE

Insieme di verità

L'insieme di verità di un enunciato aperto P(x) è l'insieme dei valori valori che, sostituiti alla variabile x, rendono vera ( V ) la relativa proposizione logica. L'insieme di verità è un sottoinsieme dell'insieme universo U a cui appartengono tutti i valori assegnabili alla variabile x.

Esempio di insieme di verità

Ad esempio, dato un insieme universo U { 1, 2, ... , 7 } e un enunciato logico P(x): "x è multiplo di tre", l'insieme di verità di P(x) è un sottoinsieme dell'insieme universo composto dai numeri { 3, 6 }, i quali sono multipli del numero tre.

INSIEME DI VERITA

Viceversa, tutti gli altri numeri dell'insieme universo U che non soddisfano l'enunciato { 1, 2, 4, 5, 7 } sono, invece, esclusi dall'insieme di verità e sono inclusi nell'insieme complementare.

L'insieme complementare

I valori della variabile x che rendono l'enunciato vero appartengono all'insieme di verità. Viceversa, i valori dell'insieme universo U che rendono falso l'enunciato aperto appartengono all'insieme complementare rispetto all'insieme universo U.

https://www.okpedia.it/insieme_di_verita


Segnala un errore o invia un suggerimento per migliorare la pagina


Logica proposizionale


FacebookTwitterLinkedinLinkedin