Beruflich Dokumente
Kultur Dokumente
La negacin de una proposicin dada forma una proposicin compuesta. Se utiliza la partcula Ejemplo: Al pensar la negacin de la oracin:
no
"Hoy es un da nublado"
Escribimo s:
"Hoy no es un da nublado".
El valor de verdad de la proposicin as compuesta es el opuesto del valor de verdad de la proposicin dada.
la solucin o representacin grfica de la negacin es precisamente el conjunto complemento Conjunto de todos los das
Conjunto de todos los das nublados Conjunto de todos los das claros
Ejemplo: Negar:
La Negacin ser:
Es falso que x no es nmero impar, x Su grfica ser sombrear el complemento de la grfica N"
dada. Cul es?
N
Impares
N
x>3
x < 10
y su grfica es:
b) Escriba la negacin "x es nmero par y x es menor que 5, x de: y encuentre su conjunto deN" verdad. 1. Representamos en forma de conjuntos.
{x N|x es par}
{x N |x no es par o x < 5}
N
pares No es par < <5 5
Leyes de De Morgan
Ver 1. La negacin de una conjuncin, es la disyuncin de las diapositiva 8 negaciones. Ver 2. La negacin de una disyuncin, es la conjuncin de las negaciones . diapositiva 9
Para negar una conjuncin cambiamos el conectivo lgico "y" por una "o" y negamos las proposiciones componentes. Para negar una disyuncin cambiamos el conectivo o por una y, negando las proposiciones componentes.
Ejemplos: a)
a c b
bc
Negacin:
a c b
bc
b) ab ac o
a0
Negacin: ab ac y
a0
Cuantificadores universales
Ejemplo: "Todos los mltiplos de 6 son nmeros pares. Al decir todos estamos cuantificando, es decir, hablamos de cantidad de mltiplos en este ejemplo. Se grafica usando lenguaje de conjuntos. Observar que hay dos proposiciones en el ejemplo:
Cmo?
El conjunto de todos los mltiplos Es un de 6 subconjunto del conjunto de los nmeros Su grfica es: pares
Pares
Mltiplo s de 6
Pares
Mltiplos de 6
Todos y ninguno son, entonces, cuantificadores que consideran la totalidad de los sujetos. Se cuantificadores llaman: Todos, es afirmativo universales . Ninguno es negativo
Cuantificadores particulares
Estas proposiciones no consideran la totalidad de los sujetos. Ejemplo: Escriba la negacin y dibuje la grfica de: