Ejercicio 5:
Hallar el dominio de verdad de cada una de las siguientes funciones proposicionales
(B, Q(x)) , donde   B={0,1,2,3}   Y   Q(x):  x² -x =6
(C, S (Y)), donde  C={1,2,3,4,5}  Y   S(y):  y+y²  es impar
(Ƶ, Q(x)), donde   Ƶ  es el conjunto de números enteros y Q(x) :  x+1     ˂ 0
                                                                                                                 x-5

Q (0) =    0² - 0 = 6            
                      0 = 6      Falso

Q (1) =    1² -  1 = 6
                       0 = 6     Falso

Q (2) =    2² -  2 = 6
                       2 = 6      Falso

Q (3) =    3² -  3 = 6
                       6 = 6      Verdadero



Dominio de verdad = {3}
    
S (1) = 1+1² es impar        
                2 es impar           Falso

S (2) =  2+2² es impar
                  6 es impar         Falso

S (3) = 3+3² es impar
              12 es impar           Falso

S (4) =  4+4² es impar
                20 es impar         Falso

S (5) =  5+5² es impar
                30 es impar         Falso


              Dominio de verdad =  ø


Q (x) =    x + 1    ˂ 0             
               X - 5

Caso I :      X + 1  ˃  0       ʌ     X - 5 ˂0
                        X  ˃ -1       ʌ          X ˂ 5

  

Sol  I : X €  {0,1,2,3,4}


Caso II :      X + 1 ˂ 0     ʌ    X-  5 ˃ 0
                        X ˂ -1     ʌ         X ˃ 5

Sol II: ø

Dominio de verdad = sol I ᴜ Sol II 
                                                        = {0, 1, 2, 3, 4}