Universo: números enteros positivos (mayores que cero) Q(x) x es múltiplo de tres. M(x) x es par Escribir en palabras: (∃x) Q( x ) ^ ¬ M( x ) Algún número entero positivo es múltiplo de tres y no es par. ¬ (∃x) M( x ) Ningún número entero positivo es par. ¬ (∀x) Q( x ) Ciertos números enteros positivos son múltiplo de tres. Escribir proposición para: Ningún número entero positivo es par y múltiplo de tres . ¬ (∃x)M(x) ^Q(x)
Escribir proposición para: Hay números enteros positivos que no son múltiplos de tres. (∀x) ¬Q(x)
Universo: números enteros positivos P(x) x es mayor que 9/7 R(x) x es par Q(x) x es menor que 25/4 Encerrar la respuesta: (∃x) Q( x ) ^ ¬ Q( x ) False / True (∃x) ¬ R( x ) False / True ¬ (∃x) P( x ) ^ R(x) False / True (∃x) ¬ P( x ) ^ ¬ R(x) False / True (∃x) ¬ R( x ) ^ P( x ) False / True (∃x) ¬ Q( x ) False / True (∃x) Q( x ) ^ ¬ R( x ) False / True ¬ (∃x) ¬ P( x ) False / True (∃x) P( x ) ^ Q( x ) False / True (∃x) ¬ P( x ) ^ Q( x ) ⋀ P( x ) False / True ¬ (∃x) R( x ) ^ ¬ R( x ) False / True