Essendo:

p(x): x e un numero multiplo di 2    x app n

q(x): l11x app n

determinare l’insieme di verità del predicato:

l12                 

bisogna raggruppare tutti i numeri :

P:[0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30 ...]

Q:[5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25]

L’insieme di verità in questo caso è composto da tutti gli elementi di p neg uniti con tutti gli elementi di q .

(p neg: [1, 3, 5, 7, 9, , 11, 13, 15, 17, 19, ..., 29, 31, 33, ...])

[1, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 31, ... ]