Sie sind auf Seite 1von 16

Matemticas I

Mdulo 7 Negacin de proposiciones

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"

Es falso que hoy es un da nublado


o tambin:

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

"x es mltiplo de 4, x N". Su negacin


es:

Proposicin abierta: negacin.

es falso que x sea mltiplo de 4, x o: N x no es mltiplo de 4, x N N


Mltiplos de 4

Ejemplo: Negar:

"x > 5, x N"

"x > 5, x N"


o

"es falso que x > 5, x N N


X>5

Negacin de proposiciones compuestas. Ejemplo:

"x no es nmero impar, x N" N


Impares

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

Negacin de una conjuncin


Ejemplo: a) Sea:

x > 3 y x < 10, x N"


Solucin grfica:

N
x>3

x < 10

Grfica de de Grfica la negacin conjuncin de la conjuncin

A(A B La negacin de la proposicin conjuntiva ser entonces: B)

"Es falso que x > 3 y x < 10, x N"


o

{x N |x > 3 o 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 < 5} = {2,4}.

La negacin ser pues :

{x N |x no es par o x < 5}

N
pares No es par < <5 5

Grfica de de Grfica la conjuncin disyuncin

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

cuantificador ninguno Dibuje la grfica de la siguiente proposicin:


Ningn mltiplo de 6 es nmero Hay que par" modificar la proposicin:

"Todos los mltiplos de 6 no son nmeros pare


Su grfica es:

Pares

Mltiplos de 6

Diagrama de universal negativo

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:

"Todos los hombres son La proposicin se mortales" modifica:


el conjunto de todos los hombres

Observar que hay dos proposiciones en el ejemplo:

Es un subconjuntoconjunto de los mortales del

Das könnte Ihnen auch gefallen