Situaciones con Tablas de Verdad

Dadas las proposiciones y el Universo:

a = “x es divisor de 24”
b = “x es múltiplo de 4”

U = {0,1,2,3,4,5,6,7,8,9}

a) Validar las proposiciones simples a y b, formando los conjuntos correspondientes.
a= {1,2,3,4,6,8}
b= {0,4,8}

b) Enunciar las conjunciones a Λ b, b Λ a, ~a Λ ~b, ~ (a Λb)

a Λ b = ”X es divisor de 24 y es múltiplo de 4”
b Λ a = “X es múltiplo de 4 y es divisor de 24”
~a Λ ~b = “X no es divisor de 24 y no es múltiplo de 4”
~(a Λb) = a Λ b = “X es divisor de 24 y es múltiplo de 4” ~ (a Λb) = “X no es divisor de 24 y no es múltiplo de 4”


c) Validar la conjunción en un conjunto, por extensión.
a Λ b = {4,8}
b Λ a = {4,8}
~a Λ ~b = {5,7,9}
~ (a Λb) = {5,7,9}

d) Mostrar en un diagrama de Venn el conjunto de elementos obtenido en el inciso anterior.

a Λ b = {4,8}



~a Λ ~b = {5,7,9}


Tabla de Verdad: