P. 1
Logica-Proposiciones

Logica-Proposiciones

|Views: 1.488|Likes:

More info:

Published by: Rene Nadir Hernandez Escobar on Mar 07, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

04/12/2013

pdf

text

original

L ógica

LAS PROPOSICIONES
Las oraciones son expresiones lingüísticas que cumplen diversas funciones. Las oraciones pueden ser: ü Expresivas: son las que manifiestan estados de ánimo, deseos, aprobación o desaprobación. Ejemplos: “¡Es magnífico!“ “Ojalá llueva” “¡Cómo nos divertimos!“ “¿No crees que me has hecho esperar demasiado?” Directivas o Prescriptivas: son aquellas que están encaminadas a producir o impedir una acción. Las órdenes, los pedidos, los ruegos, las normas son ejemplos de este tipo. Ejemplos: “Circule con precaución” “Alcánzame mi libro, por favor”

ü

Informativas: son las que afirman o niegan algo. Ejemplos: “5 es un número impar” “9 es el cuadrado de 2” “Montevideo es la capital de Uruguay” A este tipo de expresiones lingüísticas se las denomina proposiciones y se caracterizan porque de ellas tiene sentido decir q ue son verdaderas o falsas. ü

Definición

Proposición es toda expresión lingüística que tiene una función 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 múltiplo 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 número rracional i base de los logaritmos neperianos.

e. “18 puede ser escrito como la suma de dos números primos” f. “En la geometría euclidiana, la suma de los ángulos interiores de un triángulo es 180º”

1

I nstituto Superior del Profesorado “Juan N.Terrero” Se suelen utilizar letras minúsculas

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

p : ”Lógica proposicional es uno de los contenidos que abordaremos en este curso” q : “157 es un número primo” r : “La garza es un mamífero” t : “8 es el cubo de 2”
Estas proposiciones se llaman simples o atómicas, ya que no pueden descomponerse o subdividirse en otras más simples. A partir de las proposiciones atómicas podemos obtener nuevas proposiciones llamadas proposiciones compuestas o moleculares. Las siguientes proposiciones son compuestas: a) “Llueve y hace frío” b) “Una función 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 teléfono”

f

es una función biyectiva ”

Actividad 2 Indicar cuáles 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 función de relacionar las proposiciones que forman un enunciado compuesto. El “no” es también un conectivo, pero a diferencia de las demás no relaciona dos proposiciones, sino que afecta a una única proposición. Se lo denomina conectivo monádico, mientras que los que relacionan dos proposiciones son conectivos diádicos o binarios.

Definición

Conectivo lógico es una expresión lingüística que, aplicado a uno o dos
enunciados, permite obtener una proposición compuesta.

Tablas de Verdad y Conectivos Lógicos
El valor de verdad de cada proposición compuesta está determinado por el valor de verdad de las proposiciones que la componen y de los conectivos que utiliza.

2

La conjunción de la proposición " p" con la proposición "q" es una nueva proposición que se denota " p ∧ q" y se lee " p y q" . que es verdadera. El signo que utilizaremos para representar la negación es el guión “ – “ (suele n usarse también otros signos. “no es cierto que 101 es un número primo” c.L ógica 1) Negación Muchas expresiones de nuestro lenguaje cotidiano son expresadas en términos de negaciones. La expresión “10 es múltiplo de 2 y de 6” es la conjunción de la proposición “10 es múltiplo de 2” con la proposición “10 es múltiplo de 6”. tanto " p" como "q" son verdaderas. que es falsa. La proposición " p ∧ q" es verdadera cuando ambas. p −p Actividad 4 Determinar el valor de verdad de las siguientes proposiciones: a. La palabra no es la conectiva. La negación 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. con la proposición “10 es múltiplo de 6”. “no existen subconjuntos de los reales positivos que tienen primer elemento” d. 3 . En cualquier otro caso es falsa. La proposición “10 es múltiplo de 2 y de 6” es falsa porque es la c onjunción de la proposición “10 es múltiplo de 2”. La proposición “no todo hombre es honesto” es una proposición compuesta que consiste en la negación de la proposición “todo hombre es honesto”. como por ejemplo “ representa la proposición negada. “no es cierto que 2 es un entero negativo” b. Actividad 3 Construir la tabla de valores de verdad de la negación. “no es cierto que el cuadrado de un número es siempre positivo” 2) Conjunción Sean " p" y "q" proposiciones.

“la adición y la multiplicación son conmutativas en b. ya que para poder definir la proposición compuesta " p ∧ q" se necesitan dos proposiciones atómicas. En el lenguaje diario suele indicarse escribiendo “y/o” 4 . La palabra “o” es el conectivo. “la sustracción es cerrada en y la división es cerrada en Q” d.I nstituto Superior del Profesorado “Juan N. A las proposiciones que componen una conjunción se las denomina conjuntivos. Pero hay dos sentidos que tiene la “o” en el lenguaje cotidiano. Las proposiciones que forman una disyunción se denominan disyuntivos. pues si en efecto regalo un libro que es viejo y que además no me sirve. Consideremos los ejemplos anteriores: a) “regalo los libros viejos o que no me sirven” es la disyunción de las pro posiciones r : “regalo los libros viejos” s : “regalo los libros que no me sirven” El sentido del o es incluyente. p q p ∧q Actividad 6 Distinguir los conjuntivos y determinar el valor de verdad de las siguientes proposiciones: a. Actividad 5 Construir la tabla de valores de verdad de la conjunción. “las expresiones decimales de N ” 1 30 Z y 1 3 son periódicas mixtas” c. “ 2 y 9 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 disyunción de dos proposiciones simples.Terrero” La conjunción es un conectivo diádico. entonces la proposición compuesta es verdadera.

Disyunción excluyente La expresión “ lee “ o poq” . que es la disyunción de “ p ” con “ q ” y se p ∨ q ” es verdadera si una o la otra es verdadera. ya que p y q no pueden ser simultáneamente verdaderas. Aquí utilizamos la disyunción en sentido inclusivo. pero no ambas proposiciones son verdaderas. la otra.L ógica b) “hoy es lunes o martes” esta proposición compuesta es la disyunción de las proposiciones p : “hoy es lunes” q : “hoy es martes” En este caso el sentido es excluyente. p q p∨q 5 . Actividad 7 Construir la tabla de valores de verdad de la disyunción incluyente . que es la disyunción de “ p ” con “ q ” y se p o q ” . p q p∨q Actividad 8 Construir la tabla de valores de verdad de la disyunción excluyente. o ambas proposiciones son verdaderas. Esto significa que “ p ∨ q ” es una proposición verdadera si una. Disyunción incluyente La expresión “ lee “ p ∨ q ” denota una nueva proposición. La proposición compuesta “ p ∨ q ” denota una nueva proposición. Por lo tanto vamos a distinguir dos tipos de disyunciones: la disyunción incluyente y la disyunción excluyente o diferencia simétrica.

Si Si py q son V . y la implicación es entonces F. c. entonces te presto el apunte” Se trata de la implicación de las proposiciones p : apruebo el examen q : te presto el apunte Interesa inducir la verdad o falsedad de la implicación. ∀ x∈ R:  x si x ≥ 0 x =  − x si x < o 4) Implicación Sean " p" y "q" proposiciones. d. en términos de la verdad o falsedad de las proposiciones p y q .Terrero” I ¡Atención! A partir de ahora. hipótesis o premisa de la implicación y "q" se denomina consecuente o conclusión de la implicación. e. Enunciamos la siguiente proposición: “si apruebo el examen. La expresión “ p proposición llamada implicación o condicional de Se lee: ⇒ q ” se " p" con "q" q” utiliza para designar una nueva . "p La proposición implica q" o bien “ si p entonces " p" se denomina antecedente. y no presto el apunte. llamaremos disyunción a “ p ∨ q ” y diferencia simétrica o disyunción 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. en cuyo caso apruebo el examen. ( x − 1) ( x + 2) > 0 1   x −  ( x + 3) ≤ 0 2  x >3 5 x≤ 2 x −5 ≥ 4 Recordar que.. b. entonces la implicación es verdadera porque el compromiso se cumple. c on el objeto de no confundir los cone ctivos definidos precedentemente. 6 .. el compromiso no se cumple.I nstituto Superior del Profesorado “Juan N. p es V .

Si un número es impar entonces su cuadrado es impar. b. condicionales con antecedente falso resultan raros o sin sentido en el lenguaje cotidiano y por eso es difícil inferir qué valores de verdad le corresponden. es decir si no apruebo el examen. La lógica resuelve considerar verdaderos estos dos condicionales. Si un número es par entonces su cuadrado es par. si el antecedente es F . y preste o no preste el apunte la implicación es V . ………………………………………………………………………………………………. La equivalencia (también llamada bicondicional o doble implicación) de dos proposiciones " p" con "q" . Ello no es totalmente arbitrario. la implicación es V . Si p es F. ni e ntra en conflicto con el lenguaje ordinario sino que más bien completa lo que éste deja sin decidir. Volviendo a nuestro ejemplo veremos que la definición respeta el sentido común. ………………………………………………………………………………………………… Actividad 12 Demostrar: a. De este modo: la implicación sólo es F cuando el antecedente es V y el consecuente es F Actividad 10 Construir la tabla de valores de verdad del condicional p q p ⇒q Actividad 11 a. quedo liberado del compromiso. es una nueva proposición que denotaremos 7 . 5) Equivalencia Sean " p" y "q" proposiciones.. Es decir. Pero estos casos difícilmente se presentan en el uso de nuestro lenguaje. Expresar en forma general un número natural impar. Expresar en forma general un número natural par. b.L ógica Quedan por analizar dos casos: cuando el antecedente es falso y el consecuente verdadero y cuando ambos son falsos.

... 2... entonces divide a su suma . Completar la siguiente definición: El número natural n es divisor del entero x si y sólo si ....Terrero” " p ⇔ q" o “ p ≡ q” es equivalente a Se lee: “ p q” o “ p si y sólo si q” La doble implicación se define como la conjunción de p ⇒q y q⇒p.. divide el producto de éste por cualquier entero . entonces divide a su diferencia ...... Si un número divide a otros dos. Si un número divide a un entero. Expresar la definición anterior en lenguaje simbólico .. ………………………………………………………………………………………………………………………….. Actividad 13 Construir la tabla de valores de verdad del bicondicional p q p ⇒q q⇒p p ⇒q ∧ q ⇒ p Actividad 14 a. Ayuda: expresar simbólicamente el enunciado y utilizar la definición de divisor. entonces divide a su opuesto........ 3... Si un número divide a un entero.I nstituto Superior del Profesorado “Juan N. 8 ... …………………………………………………………………………………………………………………………………… Actividad 15 Demostrar: 1. Si un número divide a otros dos. b. 4..

♦ Doble implicación “ p ⇔ q ” es verdadera cuando “ p ” y “q ” tienen el mismo valor de verdad. ambas ♦ Disyunción o Incluyente “ p∨q” es falsa sólo si ambas proposiciones son falsas. o Excluyente “ p ∨ q” es verdadera cuando sólo una de ellas es verdadera” ♦ Implicación “ p ⇒q ” es falsa sólo cuando “ p” es verdadera y “ q ” es falsa. 9 . p ” y “ − p ” son ♦ Conjunción “ “ p ∧ q ” es verdadera sólo cuando p ” y “ q ” son verdaderas. Proposiciones Pueden ser SIMPLES COMPUESTAS No contienen dentro de sí ninguna otra proposición Contienen dentro de sí otras proposiciones (La negación es compuesta) Conectivos Lógicos ♦ Negación Los valores de verdad para “ opuestos entre sí.L ógica Resumiendo ….

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: p q p∨q p ⇒ ( p ∨ q) − p∧q 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. b.I nstituto Superior del Profesorado “Juan N. g. También existen proposiciones que no son siempre verdaderas y que tampoco son siempre falsas. independientemente de los valores de verdad de las proposiciones atómicas que las componen. d.Terrero” Actividad 16 Construir la tabla de valores de verdad para cada una de las siguientes proposiciones: a. c. e. Esto da lugar a las siguientes definiciones: Definición 1 Una proposición lógica es una tautología si es verdadera para todas las asignaciones posibles. i. f. h. 10 .

L ógica Definición 2 Una proposición lógica es una contradicción si es falsa para todas las asignaciones posibles. Algunas reciben nombres especiales por ser de uso muy frecuente. 11 . Así llamadas por haber sido formuladas por el matemático y lógico inglés Augustus De Morgan (1806-1871) si bien otros autores anteriores ya las habían adelantado.. Definición 3 Una proposición lógica que no es una tautología ni una contradicción se denomina contingencia. Daremos a continuación una lista de las más importantes: ♦ ♦ Doble negación o Involución: Conmutatividad o o de la conjunción: de la disyunción: − (− p ) ≡ p ( p ∧ q ) ≡ (q ∧ p ) ( p ∨ q ) ≡ (q ∨ p ) ♦ Asociatividad o o [( p ∧ q ) ∧ r ] ≡ [ p ∧ (q ∧ r )] de la disyunción: [( p ∨ q ) ∨ r ] ≡ [ p ∨ (q ∨ r )] de la conjunción: ♦ Distributividad o o [( p ∨ q ) ∧ r ] ≡ [( p ∧ r ) ∨ (q ∧ r )] de la disyunción respecto de la conjunción: [( p ∧ q ) ∨ r ] ≡ [( p ∨ r ) ∧ (q ∨ r )] de la conjunción respecto de la disyunción: la negación de una conjunción es equivalente a la disyunción de las negaciones: la negación de una disyunción es equivalente a la conjunción de las negaciones: ♦ De Morgan o o [− ( p ∧ q )] ≡ (− p ∨ −q ) [− ( p ∨ q )] ≡ (− p ∧ −q ) ¨ Haciendo un poco de historia. Su obra principal se titula “La lógica formal” (1847).. Implicaciones y equivalencias lógicas Existen dos tipos importantes de tautologías: las implicaciones lógicas y las equivalencias lógicas.

obtenidos por permutaciones o negaciones del antecedente y consecuente: q⇒ p − p ⇒ −q − q ⇒ −p recíproco contrario contrarrecíproco 12 . Implicaciones asociadas Sea el condicional p⇒q.Terrero” ♦ Definición de condicional: ( p ⇒ q ) ≡ [− ( p ∧ − q )] ( p ⇒ q ) ≡ (− p ∨ q ) ( p ⇔ q ) ≡ [( p ⇒ q ) ∧ (q ⇒ p )] ♦ ♦ ♦ ♦ ♦ ♦ Definición 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 hipotético: Simplificación: Adición: p ⇒ ( p ∨ q) Las tautologías son las leyes de la lógica proposicional Actividad 18 Verificar que las formas proposicionales de la lista anterior son tautologías. se presentan otros tres.I nstituto Superior del Profesorado “Juan N. En conexión con él. que llamaremos directo.

……………………………………………………………………………………………. Demostrar el teorema anterior. Actividad 21 Completar: La negación de una imp licación es …………………………………………………………………………………. El siguiente esquema nos proporciona la relación que las vincula: p ⇒q q⇒p − p ⇒ −q − q ⇒ −p Actividad 19 Demostrar que las implicaciones contrarrecíprocas son equivalentes. Enunciar el contrarrecíproco. Expresar simbólicamente el siguiente teorema: “si el cuadrado de un número es par. b.. 13 . Actividad 20 a. entonces el número es par”... c. el contrario y el recíproco.L ógica Las cuatro implicaciones propuestas se llaman conjugadas.. y cualquiera de ellas puede tomarse como directa..

y se tiene que si p⇒q es V p es V . Es obvio que nos referimos al primer renglón de la tabla. puesto que puede ser V o F . entonces p es condición suficiente para q y q es condición necesaria para p. entonces consecuente q . cuando p ⇒ q es V . nada podemos decir de q . Se dice entonces que q es condición necesaria para p . Por otra parte T es equilátero sólo si es isósceles. que un triángulo sea isósceles es condición necesaria para que sea equilátero. en el cual resulta q y verdadera. cuyo valor de verdad es V .Terrero” Condiciones necesarias y suficientes Analicemos la siguiente proposición: “Si T es equilátero. p Resumiendo: Si es p⇒q es V . Diremos que q es condición necesaria para p. Por otra parte. En cambio. Se dice entonces que el antecedente p es condición suficiente para el F . si q es V . y entre ellos hay uno en que p es V . mas para que p sea V se necesita que q lo sea.I nstituto Superior del Profesorado “Juan N. entonces p puede ser V o F . p : “ T es equilátero” q : “ T es isósceles” Que un triángulo sea equilátero es suficiente para asegurar que ese triángulo es isósceles. Estas condiciones suelen expresarse así: q si p (condición suficiente) p sólo si q (condición necesaria) 14 . analizaremos la tabla de valores de verdad de la implicación p q p⇒q V F V V F F V F V F V V Hay tres casos en que p⇒q V es V . Para justific ar lo dicho anteriormente. entonces T es isósceles” Se trata de una proposición compuesta de la forma Las proposiciones atómicas que la componen son: p⇒q. si q es . Diremos que p es condición suficiente para q . es decir.

q es V c) ( p ∧ q ) ⇒ ( p ∨ r ) . 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 . r es V b) ( p ∨ q ) ≡ (− p ∧ −q ) . si la información que se da es suficiente para conocer el valor de verdad de las siguientes proposiciones compuestas. determinar el valor de verdad de: [( p ∨ q ) ∧ −q ] ⇒ q 5) Determinar. justificarlo.L ógica 1) Determinar si las siguientes formas proposicionales son tautologías. b es impar q : a y b son impares Demostrar: p ⇒ q 15 . a) ( p ⇒ q ) ⇒ r . en cada caso. p es V y r es F d) p ∧ (q ⇒ r ) . p ⇒ r es V 6) Siendo p : a . En caso afirmativo.

la es solución de la ecuación es solución de la ecuación y . x 2 + x − 1 = 0 ”. “ x es un número mayor que 5”. y ∈ R . “el cubo de un número es el número y ” no son proposiciones. x∈N . Definición Una función proposicional es una oración del tipo P( x ). x ∈ D donde P( x ) es la es la representación de una propiedad relativa al objeto indeterminado indicación de la pertenencia de x y x∈D x al dominio D. y ∈ Z . x representa una variable en el conjunto de los números naturales que es su dominio de definición y par”. que puede observamos que para y es solución entera de la ecuación x 2 + x −1 = 0 ” 16 .Terrero” FUNCIÓN PROPOSICIONAL x Oraciones como “ x es un número primo”. Veamos con un ejemplo el rol del dominio de una función proposicional.I nstituto Superior del Profesorado “Juan N. la oración “6 es un número mayor que 5” es una proposición verdadera. pero se pueden convertir en proposiciones. Vemos que es necesario especificar x para determinar la verdad o falsedad de la expresión “ x es un número mayor que 5”. En la función proposicional Q ( y ) : “ ser expresada como “ y es solución de la ecuación x 2 + x − 1 = 0 ”. Supongamos que en la oración “ x es un número mayor que 5” elegimos como dominio de la variable x el conjunto de los números naturales. mientras que si x es igual a 6. 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). Si sustituimos x por 2. representa la propiedad relativa al objeto b) En la Función proposicional expresión variable P( x ) : “ x es un número Q( y ): “ y Q( y ) : “ y x. obtenemos la proposición “2 es un número mayor que 5” que es falsa. y la expresión 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 números reales. Una forma es sustituir la(s) variables(s) por un elemento perteneciente al dominio. Veamos los siguientes ejemplos: a) En la Función proposicional P( x ) : “ x es un número par”. I ¡Atención! No perder de vista que las funciones proposicionales no son proposiciones.

que es una proposición falsa. Si Esteban y Diana no llegan. Concluimos diciendo que: La verdad o falsedad de una proposición. 17 . Pedro se va. Actividad 2 Sean las funciones proposionales: P( x ) : x ≤ 2 . resulta Q(a ) : “ a es solución de la ecuación  −1 − 5   Q   2   es una proposición verdadera. Q( x ) : x (x − 1) = 0 . x∈N Hemos visto que una forma de transformar una función proposicional en proposición es sustituir la(s) variables(s) por un elemento perteneciente al dominio. Por ejemplo. se inundarán Barranqueras y Corrientes. Q(0 ) . obtendrá su título. pero si 2 2 y= −1 − 5 2 resulta que "a" que tome la variable y. Q(3) .L ógica cualquier valor entero 2 x + x − 1 = 0 ” que es una proposición siempre falsa. 1 En cambio si elegimos como dominio el conjunto de los números reales la sustitución de y por 2 1 1  2 es Q   : “ es solución de la ecuación x + x − 1 = 0 ”. son proposiciones falsas Q(− 5) . obtenida al reemplazar un valor de la variable x∈D en una función proposicional depende del dominio D de la Función Proposicional. Eduardo no dará el concierto. Descartes fue un brillante matemático y un filósofo profundo. Si Jeremías estudia. Si se desborda el Paraná . ¿Cuáles son los valores de verdad de las proposiciones dadas si el dominio es el conjunto de los números 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 función proposicional: P( x ) : “ x es impar”. Actividad 1 Simbolizar las siguientes proposiciones en términos de la lógica de funciones: a) b) c) d) e) Si María viene.

introducimos los símbolos ∀x y ∃ x . se tiene “Existen números naturales que son impares” Hemos obtenido una proposición cuyo valor de verdad es V . “Todo número real cuyo valor absoluto es mayor que 5 se encuentra a la derecha de 5 en la recta numérica” a) Expresar simbólicamente cada enunciado. Actividad 4 Dados los siguientes enunciados: I. cuantificada universalmente en el primer caso y Una función proposicional cuantificada adquiere el carácter de proposición. tal que se verifica P( x ) ∀x : P( x ) ∃ x / P( x ) P( x ) que se denotan mediante y corresponden a una función proposicional existencialmente en el segundo. Si cuantificamos universalmente la función proposicional obtenemos: “Todos los números naturales son impares” Hemos enunciado una proposición relativa a todos los números naturales. respectivamente. 18 . c) Existen dos números naturales tales que dos es igual a la suma de sus cuadrados. se verifica P( x ) x . F. x∈N . b) Si a y b son números reales cualesquiera entonces la suma de sus cuadrados es un número real no negativo. b) Expresar simbólicamente y coloquialmente las proposiciones recíproca. cuyo valor de verdad es P( x ) : “x es impar”. Las expresiones Para todo Existe x .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 cuantificación. llamados cuantificador universal y existencial en x .I nstituto Superior del Profesorado “Juan N. Si cuantificamos existencialmente la misma función proposicional. “Si el producto de dos números reales cualesquiera es cero entonces alguno de ellos es cero” II. contraria y contrarrecíproca de cada proposición dada. Asociados a la variable x . Actividad 3 Expresar simbólicamente las siguientes proposiciones: a) Todos los números naturales múltiplos de seis son múltiplos de dos.

L ógica I ¡Atención! Una función cuantificada universalmente es V si y sólo si son V todas las proposiciones particulares asociadas a aquélla. Negación de una función proposicional cuantificada Consideremos nuevamente la función proposicional: si la cuantificamos universalmente obtenemos: “Todos los números naturales son impares” su negación es: “No todos los números naturales son impares” es decir: “Existen naturales que no son impares” y en símbolos P( x ) : “ x es impar. es suficiente que sea verdadera por lo menos una de las proposiciones asociadas a la función proposicional. Si ahora la cuantificamos existencialmente obtenemos: “Existen naturales que son impares” su negación es: “No existen naturales impares” es decir: “Cualquiera sea el número natural. para negar una función proposicional cuantificada universalmente se cambia el cuantificador en existencial y se niega la función proposicional. Para asegurar la verdad de una función proposicional cuantificada existencialmente. no es impar” o lo que es lo mismo “Todo número natural es par” y en símbolos ∀ x : − P( x ) Entonces. para negar una función proposicional cuantificada existencialmente se cambia el cuantificador en universal y se niega la función proposicional. 19 . x∈N ” ∃ x / − P( x ) Entonces.

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 simbólico. Actividad 7 Dadas las proposiciones: a) “Existen ecuaciones de primer grado con coeficientes enteros cuyas soluciones no son enteras” b) “Todos los números enteros son múltiplos de tres” c) e) “Existen números enteros que son pares y no son divisibles por 4” d) “Para todo número real x . si n es impar entonces su cuadrado también lo es” Escribirlas en lenguaje simbólico.I nstituto Superior del Profesorado “Juan N. 20 . negarlas y traducir las negaciones al lenguaje simbólico. determinar su valor de verdad. II. negarla s y traducir las negaciones al lenguaje simbólico.Terrero” Actividad 5 Escribir en símbolos las equivalencias obtenidas anteriormente : I. si x es irracional entonces su cuadrado también lo es” “Para todo número natural n .

obtenemos la proposición: "−20 es un número entero mayor que − 10" . x ∈ Z " Para x = − 20 . x ∈ N " ∀x ∈ N : x > −10 ∃ x ∈ N / x ≤ 100 obtenemos una proposición cuyo valor de verdad es V 21 . cuyo valor de verdad es F Universal ∀x : P( x ) Existencial ∃x / P( x ) Ejemplo: P( x ) : " x > −10. Las Funciones Proposicionales se pueden transformar en proposiciones por sustitución por cuantificación Ejemplo: P( x ) : " x > −10. x ∈ N " Si la cuantificamos universalmente: obtenemos una proposición cuyo valor de verdad es V Ejemplo: Si la cuantificamos existencialmente: P( x) : " x ≤ 100.L ógica Resumiendo ….

... c) Todo el que estudia triunfa...Terrero” 1) Expresar la negación 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 número real es mayor que 2.... n ∈ Z ..1)n +1 + 3 (− 1) n = 0 ∀x..1 = 1. 1 ∈ N .... b .... 3) Determinar el valor de verdad de los siguientes enunciados: a) ∃ 1 ∈ Z / ∀x ∈ Z : x.... − n ∈ Z tal que n + (− n) = −n + n = n 22 . y ∈ R : cos 2 x + sen 2 x = cos 2 y + sen 2 y ∃x ∈ Z / x > 5 ∧ x es solución de 2 x − 1 = 3 ∃x ∈ Z − {0}/ x 2 = x ∀p.. 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 proposición verdadera: a) .I nstituto Superior del Profesorado “Juan N... n ∈ N se verifica que n 1 = 1 n = n b) .... n ∈ N tales que 40 = m 2 + n 2 d) ........ negarlas y traducir las negaciones al lenguaje simbólico... b ∈ R se verifica que a 2 + b 2 ≥ 0 c) ..... q ............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 (.. a ∈ R... Escribirlas en lenguaje simbólico. m ∈ N ... 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) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente....

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 .L ógica 5) Considerar las funciones proposicionales P( x ) : x es equilátero Q( x ) : x es isoscéles 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 acutángulo siendo el universo U el conjuntode todos los triángulos del plano .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->