L gica

LAS PROPOSICIONES
Las oraciones son expresiones lingsticas que cumplen diversas funciones. Las oraciones pueden ser: Expresivas: son las que manifiestan estados de nimo, deseos, aprobacin o desaprobacin. Ejemplos: Es magnfico! Ojal llueva Cmo nos divertimos! No crees que me has hecho esperar demasiado? Directivas o Prescriptivas: son aquellas que estn encaminadas a producir o impedir una accin. Las rdenes, los pedidos, los ruegos, las normas son ejemplos de este tipo. Ejemplos: Circule con precaucin Alcnzame mi libro, por favor

Informativas: son las que afirman o niegan algo. Ejemplos: 5 es un nmero impar 9 es el cuadrado de 2 Montevideo es la capital de Uruguay A este tipo de expresiones lingsticas se las denomina proposiciones y se caracterizan porque de ellas tiene sentido decir q ue son verdaderas o falsas.

Definicin

Proposicin es toda expresin lingstica que tiene una funcin informativa:

afirma o niega algo, y tiene sentido decir de ella que es verdadera o falsa.

Actividad 1 Determinar el valor de verdad de las siguientes proposiciones: a. 2 es mayor que 3 b. 16 es mltiplo de 4 y 8 es divisor de 2 c. 2 < e <3
Recordar que...

d. Si

n=2

entonces

n2 + n 6 = 0

e es un nmero rracional i base de los logaritmos neperianos.

e. 18 puede ser escrito como la suma de dos nmeros primos f. En la geometra euclidiana, la suma de los ngulos interiores de un tringulo es 180

I nstituto Superior del Profesorado Juan N.Terrero Se suelen utilizar letras minsculas

p , q , r , t , etc, para designar proposiciones. Por ejemplo:

p : Lgica proposicional es uno de los contenidos que abordaremos en este curso q : 157 es un nmero primo r : La garza es un mamfero t : 8 es el cubo de 2
Estas proposiciones se llaman simples o atmicas, ya que no pueden descomponerse o subdividirse en otras ms simples. A partir de las proposiciones atmicas podemos obtener nuevas proposiciones llamadas proposiciones compuestas o moleculares. Las siguientes proposiciones son compuestas: a) Llueve y hace fro b) Una funcin f admite inversa si y s lo si c) Vamos de paseo, o al cine o a bailar d) Si n 2 + n 6 = 0 entonces n = 2 o n = 3 e) Puedes comunicarte con nosotros por e -mail o por telfono

es una funcin biyectiva

Actividad 2 Indicar cules son las proposiciones componentes de las proposiciones compuestas anteriores. a) b) c) d) e)

Las proposiciones compuestas se reconocen por la presencia de conectivos; se llama as a ciertas palabras o expresiones del lenguaje, como por ejemplo, y, o, si-entonces, etc. Estas conectivas tienen la funcin de relacionar las proposiciones que forman un enunciado compuesto. El no es tambin un conectivo, pero a diferencia de las dems no relaciona dos proposiciones, sino que afecta a una nica proposicin. Se lo denomina conectivo mondico, mientras que los que relacionan dos proposiciones son conectivos didicos o binarios.

Definicin

Conectivo lgico es una expresin lingstica que, aplicado a uno o dos

enunciados, permite obtener una proposicin compuesta.

Tablas de Verdad y Conectivos Lgicos

El valor de verdad de cada proposicin compuesta est determinado por el valor de verdad de las proposiciones que la componen y de los conectivos que utiliza.

L gica 1) Negacin Muchas expresiones de nuestro lenguaje cotidiano son expresadas en trminos de negaciones. La proposicin no todo hombre es honesto es una proposicin compuesta que consiste en la negacin de la proposicin todo hombre es honesto. La palabra no es la conectiva. El signo que utilizaremos para representar la negacin es el guin (suele n usarse tambin otros signos, como por ejemplo representa la proposicin negada. La negacin de es o bien

~ )

el cual se coloca antepuesto a la letra proposicional que

p : todo hombre es honesto p : no todo hombre es honesto p : no es cierto que todo hombre es honesto p : hay hombres que no son honestos p : existen hombres deshonestos

la cual es V ya que la primera es F.

Actividad 3 Construir la tabla de valores de verdad de la negacin.

Actividad 4 Determinar el valor de verdad de las siguientes proposiciones: a. no es cierto que 2 es un entero negativo b. no es cierto que 101 es un nmero primo c. no existen subconjuntos de los reales positivos que tienen primer elemento

d. no es cierto que el cuadrado de un nmero es siempre positivo

2) Conjuncin Sean

" p" y "q"

proposiciones. La conjuncin de la proposicin " p" con la proposicin

"q"

es una

nueva proposicin que se denota " p q" y se lee " p

y q" . La expresin 10 es mltiplo de 2 y de 6

es la conjuncin de la proposicin 10 es mltiplo de 2 con la proposicin 10 es mltiplo de 6. La proposicin " p q" es verdadera cuando ambas, tanto " p" como "q" son verdaderas. En cualquier otro caso es falsa. La proposicin 10 es mltiplo de 2 y de 6 es falsa porque es la c onjuncin de la proposicin 10 es mltiplo de 2, que es verdadera, con la proposicin 10 es mltiplo de 6, que es falsa.

I nstituto Superior del Profesorado Juan N.Terrero La conjuncin es un conectivo didico, ya que para poder definir la proposicin compuesta " p q" se necesitan dos proposiciones atmicas. A las proposiciones que componen una conjuncin se las denomina conjuntivos.

Actividad 5 Construir la tabla de valores de verdad de la conjuncin.

p q

Actividad 6 Distinguir los conjuntivos y determinar el valor de verdad de las siguientes proposiciones: a. la adicin y la multiplicacin son conmutativas en b. las expresiones decimales de

1 30
Z

1 3

son peridicas mixtas

c.

la sustraccin es cerrada en

y la divisin es cerrada en

d.

son irracionales

3) Disyunciones Las proposiciones: a) regalo los libros viejos o que no me sirven b) hoy es lunes o martes son proposiciones compuestas que consisten en la disyuncin de dos proposiciones simples. La palabra o es el conectivo. Las proposiciones que forman una disyuncin se denominan disyuntivos. Pero hay dos sentidos que tiene la o en el lenguaje cotidiano. Consideremos los ejemplos anteriores: a) regalo los libros viejos o que no me sirven es la disyuncin de las pro posiciones r : regalo los libros viejos s : regalo los libros que no me sirven El sentido del o es incluyente, pues si en efecto regalo un libro que es viejo y que adems no me sirve, entonces la proposicin compuesta es verdadera. En el lenguaje diario suele indicarse escribiendo y/o

L gica b) hoy es lunes o martes esta proposicin compuesta es la disyuncin de las proposiciones p : hoy es lunes q : hoy es martes En este caso el sentido es excluyente, ya que

no pueden ser simultneamente verdaderas.

Por lo tanto vamos a distinguir dos tipos de disyunciones: la disyuncin incluyente y la disyuncin excluyente o diferencia simtrica.

Disyuncin incluyente La expresin lee

p q denota una nueva proposicin, que es la disyuncin de p con q y se p o q . Aqu utilizamos la disyuncin en sentido inclusivo. Esto significa que p q es una

proposicin verdadera si una, la otra, o ambas proposiciones son verdaderas. Disyuncin excluyente La expresin lee o

poq

. La proposicin compuesta

p q denota una nueva proposicin, que es la disyuncin de p con q y se p q es verdadera si una o la otra es

verdadera, pero no ambas proposiciones son verdaderas.

Actividad 7 Construir la tabla de valores de verdad de la disyuncin incluyente .

pq

Actividad 8 Construir la tabla de valores de verdad de la disyuncin excluyente.

pq

I nstituto Superior del Profesorado Juan N.Terrero

Atencin!

A partir de ahora, c on el objeto de no confundir los cone ctivos definidos precedentemente, llamaremos disyuncin a

p q y diferencia simtrica o disyuncin excluyente a p q

Un uso muy frecuente de conjunciones y disyunciones est puesto en evidencia cuando resolvemos inecuaciones:

Actividad 9 Resolver las siguientes inecuaciones: a. b. c. d. e.

( x 1) ( x + 2) > 0 1 x ( x + 3) 0
2 x >3 5 x 2 x 5 4
Recordar que...

x R:

x si x 0 x = x si x < o

4) Implicacin Sean

" p"

"q"

proposiciones. La expresin p

proposicin llamada implicacin o condicional de Se lee:

q se " p" con "q"

q

utiliza para designar una nueva .

"p
La proposicin

implica

q"

o bien

si

entonces

" p"

se denomina antecedente, hiptesis o premisa de la implicacin y

"q"

se

denomina consecuente o conclusin de la implicacin. Enunciamos la siguiente proposicin: si apruebo el examen, entonces te presto el apunte Se trata de la implicacin de las proposiciones

p : apruebo el examen q : te presto el apunte

Interesa inducir la verdad o falsedad de la implicacin, en trminos de la verdad o falsedad de las proposiciones p y q . Si Si

py q

son

, entonces la implicacin es verdadera porque el compromiso se cumple.

p es V

, en cuyo caso apruebo el examen, y no presto el apunte, el compromiso no se cumple,

y la implicacin es entonces

F.

L gica

Quedan por analizar dos casos: cuando el antecedente es falso y el consecuente verdadero y cuando ambos son falsos. Pero estos casos difcilmente se presentan en el uso de nuestro lenguaje; condicionales con antecedente falso resultan raros o sin sentido en el lenguaje cotidiano y por eso es difcil inferir qu valores de verdad le corresponden. La lgica resuelve considerar verdaderos estos dos condicionales. Ello no es totalmente arbitrario, ni e ntra en conflicto con el lenguaje ordinario sino que ms bien completa lo que ste deja sin decidir. Volviendo a nuestro ejemplo veremos que la definicin respeta el sentido comn. Si

es

F,

es decir si no apruebo el examen, quedo liberado del compromiso, y preste o no

preste el apunte la implicacin es

. Es decir, si el antecedente es

F , la implicacin es V

De este modo: la implicacin slo es

cuando el antecedente es

y el consecuente es

Actividad 10 Construir la tabla de valores de verdad del condicional

p q

Actividad 11 a. Expresar en forma general un nmero natural par. .. b. Expresar en forma general un nmero natural impar.

Actividad 12 Demostrar: a. Si un nmero es par entonces su cuadrado es par. b. Si un nmero es impar entonces su cuadrado es impar.

5) Equivalencia Sean

" p"

"q"

proposiciones. La equivalencia (tambin llamada bicondicional o doble

implicacin) de dos proposiciones

" p"

con

"q" ,

es una nueva proposicin que denotaremos

I nstituto Superior del Profesorado Juan N.Terrero

" p q"

p q
es equivalente a

Se lee:

si y slo si

La doble implicacin se define como la conjuncin de

p q

qp.

Actividad 13 Construir la tabla de valores de verdad del bicondicional

p q

qp

p q q p

Actividad 14 a. Completar la siguiente definicin: El nmero natural n es divisor del entero

si y slo si ............................

.. b. Expresar la definicin anterior en lenguaje simblico .

Actividad 15 Demostrar: 1. Si un nmero divide a un entero, divide el producto de ste por cualquier entero . 2. Si un nmero divide a otros dos, entonces divide a su suma . 3. Si un nmero divide a otros dos, entonces divide a su diferencia . 4. Si un nmero divide a un entero, entonces divide a su opuesto.
Ayuda: expresar simblicamente el enunciado y utilizar la definicin de divisor.

L gica

Resumiendo .
Proposiciones
Pueden ser

SIMPLES

COMPUESTAS

No contienen dentro de s ninguna otra proposicin

Contienen dentro de s otras proposiciones

(La negacin es compuesta)

Conectivos Lgicos

Negacin
Los valores de verdad para opuestos entre s.

p y p son

Conjuncin

p q es verdadera slo cuando p y q son verdaderas.

ambas

Disyuncin o Incluyente

pq

es falsa slo si ambas

proposiciones son falsas.

Excluyente

p q

es verdadera cuando slo

una de ellas es verdadera

Implicacin

p q

es falsa slo cuando

es

verdadera y q es falsa.

Doble implicacin

p q es verdadera cuando

p y q

tienen el mismo valor de verdad.

I nstituto Superior del Profesorado Juan N.Terrero

Actividad 16 Construir la tabla de valores de verdad para cada una de las siguientes proposiciones: a. b. c. d. e. f. g. h. i.

p ( p q) p (q r )

( p q) r
p p

[ p ( p q )] q ( p q) p [( p q ) (q r )] ( p r ) ( p q) p [( p q ) (q r )] ( p r )

Actividad 17 Completar la siguiente tabla de verdad:

pq

p ( p q)

pq

p ( p q )

V V F F

V F V F

V V V F

Claramente vemos en la tabla que existen proposiciones que son siempre verdaderas y otras que son siempre falsas, independientemente de los valores de verdad de las proposiciones atmicas que las componen. Tambin existen proposiciones que no son siempre verdaderas y que tampoco son siempre falsas. Esto da lugar a las siguientes definiciones:

Definicin 1 Una proposicin lgica es una tautologa si es verdadera para todas las asignaciones posibles.

10

L gica

Definicin 2 Una proposicin lgica es una contradiccin si es falsa para todas las asignaciones posibles.

Definicin 3 Una proposicin lgica que no es una tautologa ni una contradiccin se denomina contingencia.

Implicaciones y equivalencias lgicas

Existen dos tipos importantes de tautologas: las implicaciones lgicas y las equivalencias lgicas. Algunas reciben nombres especiales por ser de uso muy frecuente. Daremos a continuacin una lista de las ms importantes:

Doble negacin o Involucin: Conmutatividad o o de la conjuncin: de la disyuncin:

( p ) p

( p q ) (q p ) ( p q ) (q p )

Asociatividad o o

[( p q ) r ] [ p (q r )] de la disyuncin: [( p q ) r ] [ p (q r )]
de la conjuncin:

Distributividad o o

[( p q ) r ] [( p r ) (q r )] de la disyuncin respecto de la conjuncin: [( p q ) r ] [( p r ) (q r )]

de la conjuncin respecto de la disyuncin: la negacin de una conjuncin es equivalente a la disyuncin de las negaciones: la negacin de una disyuncin es equivalente a la conjuncin de las negaciones:

De Morgan o o

[ ( p q )] ( p q )

[ ( p q )] ( p q )

Haciendo un poco de historia... As llamadas por haber sido formuladas por el matemtico

y lgico ingls Augustus De Morgan (1806-1871) si bien otros autores anteriores ya las haban adelantado. Su obra principal se titula La lgica formal (1847).

11

I nstituto Superior del Profesorado Juan N.Terrero

Definicin de condicional:

( p q ) [ ( p q )] ( p q ) ( p q ) ( p q ) [( p q ) (q p )]

Definicin de bicondicional:

Modus Ponens: Modus Tollens:

[( p q ) p ] q [( p q ) q ] p [( p q ) (q r )] ( p r )
( p q) p

Transitividad o silogismo hipottico: Simplificacin: Adicin:

p ( p q)

Las tautologas son las leyes de la lgica proposicional

Actividad 18 Verificar que las formas proposicionales de la lista anterior son tautologas.

Implicaciones asociadas Sea el condicional

pq,

que llamaremos directo. En conexin con l, se presentan

otros tres, obtenidos por permutaciones o negaciones del antecedente y consecuente:

q p p q q p

recproco contrario contrarrecproco

12

L gica

Las cuatro implicaciones propuestas se llaman conjugadas, y cualquiera de ellas puede tomarse como directa. El siguiente esquema nos proporciona la relacin que las vincula:

p q

qp

p q

q p

Actividad 19 Demostrar que las implicaciones contrarrecprocas son equivalentes.

Actividad 20 a. Expresar simblicamente el siguiente teorema: si el cuadrado de un nmero es par, entonces el nmero es par. b. Enunciar el contrarrecproco, el contrario y el recproco. c. Demostrar el teorema anterior.

Actividad 21 Completar: La negacin de una imp licacin es ..... ..

13

I nstituto Superior del Profesorado Juan N.Terrero

Condiciones necesarias y suficientes

Analicemos la siguiente proposicin: Si

T es equiltero, entonces T es issceles

Se trata de una proposicin compuesta de la forma Las proposiciones atmicas que la componen son:

pq,

cuyo valor de verdad es

p : T es equiltero q : T es issceles
Que un tringulo sea equiltero es suficiente para asegurar que ese tringulo es issceles. Diremos que p es condicin suficiente para q . Por otra parte T es equiltero slo si es issceles; es decir, que un tringulo sea issceles es condicin necesaria para que sea equiltero. Diremos que q es condicin necesaria para

p.

Para justific ar lo dicho anteriormente, analizaremos la tabla de valores de verdad de la implicacin

pq V
F

V V
F F

V
F

V
F

V V

Hay tres casos en que

pq V

es

, y entre ellos hay uno en que

es

, en el cual resulta

q
y

verdadera. Es obvio que nos referimos al primer rengln de la tabla, y se tiene que si

pq

es

p es V , entonces consecuente q .
En cambio, si

es

. Se dice entonces que el antecedente

es condicin suficiente para el

F , nada podemos decir de q , puesto que puede ser V o F . Por otra parte, cuando p q es V , si q es V , entonces p puede ser V o F ; mas para que p sea V se necesita que q lo sea. Se dice entonces que q es condicin necesaria para p . p
Resumiendo: Si

es

pq

es

, entonces

es condicin suficiente para

es condicin necesaria para

p.

Estas condiciones suelen expresarse as: q si

(condicin suficiente)

slo si

(condicin necesaria)

14

L gica

1) Determinar si las siguientes formas proposicionales son tautologas, contradicciones o contingencias: a) p ( q p ) b) ( p q ) ( p q) c) [ p (q p )] q

[( p q ) p ] q e) ( p q ) ( p q ) f) [( p q ) r ] [ p (q r )]
d) 2) Si p q es verdadera, qu valor de verdad tiene p q ? 3) Si p q es falsa, qu valor de verdad tienen: a) p q ? b) ( p q ) r ? c) p q ? 4) Sabiendo que p q es V y q es V , determinar el valor de verdad de: [( p q ) q ] q 5) Determinar, en cada caso, si la informacin que se da es suficiente para conocer el valor de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo. a) ( p q ) r ; r es V b) ( p q ) ( p q ) ; q es V c) ( p q ) ( p r ) ; p es V y r es F d) p (q r ) ; p r es V 6) Siendo
p : a . b es impar q : a y b son impares

Demostrar: p q

15

I nstituto Superior del Profesorado Juan N.Terrero

FUNCIN PROPOSICIONAL
x
Oraciones como x es un nmero primo, x es un nmero mayor que 5, el cubo de un nmero es el nmero y no son proposiciones. Tales expresiones se convierten en proposiciones cuando

se reemplaza a la(s) variable(s) por un valor correspondiente al dominio donde se encuentra(n) definida(s). Supongamos que en la oracin x es un nmero mayor que 5 elegimos como dominio de la variable x el conjunto de los nmeros naturales. Si sustituimos x por 2, obtenemos la proposicin 2 es un nmero mayor que 5 que es falsa, mientras que si x es igual a 6, la oracin 6 es un nmero mayor que 5 es una proposicin verdadera. Vemos que es necesario especificar x para determinar la verdad o falsedad de la expresin x es un nmero mayor que 5.

Definicin Una funcin proposicional es una oracin del tipo

P( x ), x D

donde

P( x ) es la
es la

representacin de una propiedad relativa al objeto indeterminado indicacin de la pertenencia de

xD

al dominio

D.

Veamos los siguientes ejemplos: a) En la Funcin proposicional

P( x ) : x

es un nmero par,

xN , x

representa una variable

en el conjunto de los nmeros naturales que es su dominio de definicin y par, representa la propiedad relativa al objeto b) En la Funcin proposicional expresin variable

P( x ) : x

es un nmero

Q( y ): y

Q( y ) : y

x.
x 2 + x 1 = 0 , y R , la

es solucin de la ecuacin

es solucin de la ecuacin

y , y la expresin

x 2 + x 1 = 0 expresa un atributo o propiedad de la y R indica que el dominio para y es el conjunto de los nmeros reales.

Atencin!

No perder de vista que las funciones proposicionales no son proposiciones, pero se pueden convertir en proposiciones. Una forma es sustituir la(s) variables(s) por un elemento perteneciente al dominio.

Veamos con un ejemplo el rol del dominio de una funcin proposicional. En la funcin proposicional Q ( y ) : ser expresada como

es solucin de la ecuacin

x 2 + x 1 = 0 , y Z , que puede
observamos que para

es solucin entera de la ecuacin

x 2 + x 1 = 0

16

L gica

cualquier valor entero

2

x + x 1 = 0 que es una proposicin siempre falsa. Por ejemplo, son proposiciones falsas Q( 5) , Q(0 ) , Q(3) . 1 En cambio si elegimos como dominio el conjunto de los nmeros reales la sustitucin de y por 2 1 1 2 es Q : es solucin de la ecuacin x + x 1 = 0 , que es una proposicin falsa; pero si 2 2
y= 1 5 2
resulta que

"a"

que tome la variable

y,

resulta

Q(a ) : a

es solucin de la ecuacin

1 5 Q 2

es una proposicin verdadera.

Concluimos diciendo que:

La verdad o falsedad de una proposicin, obtenida al reemplazar un valor de la variable

xD

en una funcin proposicional depende del dominio

D de la Funcin

Proposicional.

Actividad 1 Simbolizar las siguientes proposiciones en trminos de la lgica de funciones: a) b) c) d) e) Si Mara viene, Pedro se va. Descartes fue un brillante matemtico y un filsofo profundo. Si Jeremas estudia, obtendr su ttulo. Si Esteban y Diana no llegan, Eduardo no dar el concierto.

Si se desborda el Paran , se inundarn Barranqueras y Corrientes.

Actividad 2 Sean las funciones proposionales:

P( x ) : x 2 , Q( x ) : x (x 1) = 0 .

Cules son los valores de

verdad de las proposiciones dadas si el dominio es el conjunto de los nmeros enteros no negativos? a) P 1 b) c) d) e) f)

() P(0) Q(0) P(2 ) Q(2) [P(0) Q( 2)] P(5) Q(2) P(5) Q(2 )

Consideremos la siguiente funcin proposicional:

P( x ) : x

es impar,

xN

Hemos visto que una forma de transformar una funcin proposicional en proposicin es sustituir la(s) variables(s) por un elemento perteneciente al dominio.

17

I nstituto Superior del Profesorado Juan N.Terrero As resultan proposiciones como P 4 : 4 es impar cuyo valor de verdad es

( ) F P(11) : 11 es impar cuyo valor de verdad es V

Otra forma de obtener proposiciones a partir de f unciones proposicionales es mediante un proceso llamado de cuantificacin. Asociados a la variable x , introducimos los smbolos x y x , llamados cuantificador universal y existencial en x , respectivamente. Las expresiones Para todo Existe

x , se verifica P( x ) x , tal que se verifica P( x )

x : P( x ) x / P( x ) P( x )

que se denotan mediante

y corresponden a una funcin proposicional existencialmente en el segundo.

cuantificada universalmente en el primer caso y

Una funcin proposicional cuantificada adquiere el carcter de proposicin. Si cuantificamos universalmente la funcin proposicional obtenemos: Todos los nmeros naturales son impares Hemos enunciado una proposicin relativa a todos los nmeros naturales, cuyo valor de verdad es

P( x ) :

es impar,

xN ,

F.
Si cuantificamos existencialmente la misma funcin proposicional, se tiene Existen nmeros naturales que son impares Hemos obtenido una proposicin cuyo valor de verdad es

Actividad 3 Expresar simblicamente las siguientes proposiciones: a) Todos los nmeros naturales mltiplos de seis son mltiplos de dos. b) Si a y b son nmeros reales cualesquiera entonces la suma de sus cuadrados es un nmero real no negativo. c) Existen dos nmeros naturales tales que dos es igual a la suma de sus cuadrados.

Actividad 4 Dados los siguientes enunciados: I. Si el producto de dos nmeros reales cualesquiera es cero entonces alguno de ellos es cero II. Todo nmero real cuyo valor absoluto es mayor que 5 se encuentra a la derecha de 5 en la recta numrica a) Expresar simblicamente cada enunciado. b) Expresar simblicamente y coloquialmente las proposiciones recproca, contraria y contrarrecproca de cada proposicin dada.

18

L gica

Atencin!

Una funcin cuantificada universalmente es V si y slo si son V todas las proposiciones particulares asociadas a aqulla. Para asegurar la verdad de una funcin proposicional cuantificada existencialmente, es suficiente que sea verdadera por lo menos una de las proposiciones asociadas a la funcin proposicional.

Negacin de una funcin proposicional cuantificada

Consideremos nuevamente la funcin proposicional: si la cuantificamos universalmente obtenemos: Todos los nmeros naturales son impares su negacin es: No todos los nmeros naturales son impares es decir: Existen naturales que no son impares y en smbolos

P( x ) : x

es impar,

xN

x / P( x )
Entonces, para negar una funcin proposicional cuantificada universalmente se cambia el cuantificador en existencial y se niega la funcin proposicional. Si ahora la cuantificamos existencialmente obtenemos: Existen naturales que son impares su negacin es: No existen naturales impares es decir: Cualquiera sea el nmero natural, no es impar o lo que es lo mismo Todo nmero natural es par y en smbolos

x : P( x )

Entonces, para negar una funcin proposicional cuantificada existencialmente se cambia el cuantificador en universal y se niega la funcin proposicional.

19

I nstituto Superior del Profesorado Juan N.Terrero

Actividad 5 Escribir en smbolos las equivalencias obtenidas anteriormente : I. II.

Actividad 6 Dadas las proposiciones: a) Todo el que lo conoce lo admira b) Todo entero admite un inverso aditivo c) Hay alumnos que estudian y trabajan"

Escribirlas en lenguaje simblico, negarla s y traducir las negaciones al lenguaje simblico.

Actividad 7 Dadas las proposiciones: a) Existen ecuaciones de primer grado con coeficientes enteros cuyas soluciones no son enteras b) Todos los nmeros enteros son mltiplos de tres c) e) Existen nmeros enteros que son pares y no son divisibles por 4 d) Para todo nmero real

x , si x es irracional entonces su cuadrado tambin lo es Para todo nmero natural n , si n es impar entonces su cuadrado tambin lo es

Escribirlas en lenguaje simblico, determinar su valor de verdad, negarlas y traducir las negaciones al lenguaje simblico.

20

L gica

Resumiendo .

Las Funciones Proposicionales

se pueden transformar en proposiciones

por sustitucin

por cuantificacin

Ejemplo:

P( x ) : " x > 10, x Z "

Para x = 20 , obtenemos la proposicin: "20 es un nmero entero mayor que 10" , cuyo valor de verdad es F

Universal

x : P( x )

Existencial

x / P( x )

Ejemplo:

P( x ) : " x > 10, x N "

Si la cuantificamos universalmente: obtenemos una proposicin cuyo valor de verdad es V

Ejemplo: Si la cuantificamos existencialmente:

P( x) : " x 100, x N "

x N : x > 10

x N / x 100
obtenemos una proposicin cuyo valor de verdad es V

21

I nstituto Superior del Profesorado Juan N.Terrero

1) Expresar la negacin de las siguientes proposiciones: a) x / [F (x ) (P( x ) Q(x ))] b) x : [( F ( x ) Q(x )) S ( x )] c) x : [P( x ) (Q(x ) R( x ))] 2) Dadas las proposiciones: a) El cuadrado de todo nmero real es mayor que 2. b) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente. c) Todo el que estudia triunfa. Escribirlas en lenguaje simblico, negarlas y traducir las negaciones al lenguaje simblico. 3) Determinar el valor de verdad de los siguientes enunciados: a) 1 Z / x Z : x.1 = 1.x = x 1 1 1 b) x Q : Q / x = x = 1 x x x c) x, y N : x < y x 2 < y 2 d) x R : (x 3) 2 2 < 0 f) g) h) i) j) k) e) n N : 3 (- 1)n +1 + 3 ( 1) n = 0
x, y R : cos 2 x + sen 2 x = cos 2 y + sen 2 y x Z / x > 5 x es solucin de 2 x 1 = 3 x Z {0}/ x 2 = x

p, q , r Z : [( p q ) es imoar (q r ) es impar ] ( p r ) es par x R : y R / y = 2 x + 3 x Z / ( x es par x esdivisible por 5)

l) n Z + : 2 es divisor de 3n 2 + 1 m) a, b , c Z {0} / a 2 + b 2 = c 2 4) En los espacios indicados completar con el cuantificador correspondiente a los efectos de obtener una proposicin verdadera: a) ........ 1 N ........ n N se verifica que n 1 = 1 n = n b) ........ a R......... b R se verifica que a 2 + b 2 0 c) ........ m N ........ n N tales que 40 = m 2 + n 2 d) ......... n Z ........ n Z tal que n + ( n) = n + n = n

22

L gica

5) Considerar las funciones proposicionales P( x ) : x es equiltero Q( x ) : x es isoscles R( x ) : x tiene solamente dos ngulos agudos S ( x ) : x tiene dos lados de igual longitud T ( x ) : x tiene los treslados desiguales V ( x ) : x es acutngulo siendo el universo U el conjuntode todos los tringulos del plano . Determinar el valor de verdad de las siguientes proposiciones: a) x U : [P( x ) Q( x )] b) x U / [Q(x ) R( x )] c) x U / [P( x ) R( x )] d) x U : [R (x ) Q( x )] e) x U : [V (x ) Q( x )] f) x U / [T ( x ) V ( x )] g) x U : [S (x ) Q(x )]

23