LOGICA DEGLI ENUNCIATI

Stabilito che il nostro universo di riferimento è definito dall’insieme N (x app N) consideriamo i due enunciati aperti
A(x): “x è un multiplo di 2, x < 15” e B(x): “x multiplo di 3, x < 19"

Definire:

1) gli insiemi di verità dei due enunciati
2) l’insieme di verità delle espressioni A e B e Anegato o B

1_ l’insieme di verità di A(x) èA x e di B(x) è B x

2_ l’insieme di verità di A e Bè dato dai valori che si trovano nell’intersezione dei due insiemi di verità, quindi sarà risultato e

mentre l’insieme di verità di Anegato o Bsarà dato dal negato di A(x), A negato unito con B(x) ovvero

risultato