Está en la página 1de 22

UNIDAD 1

1. 2. 3. 4. 5. Proposiciones Valor de Verdad Proposicin Compuesta Tabla de Verdad Conectivos Lgicos 5.1- Conjuncin 5.2- Disyuncin 5.3- Disyuncin Exclusiva 5.4- Negacin 5.5- Tautologas y Contradicciones 5.6- Proposicin Condicional 5.7- Proposicin Bicondicional

PROPOSICIONES LOGICAS
Una proposicin se define como un enunciado, una oracin declarativa, o una expresin simblica, de la cual se puede decir sin ambigedad, que es verdadera o falsa, pero no ambas.

Ejemplo No. 1
La Coca-Cola es una empresa transnacional
Todos los alumnos de la CUES son menores de edad
Verdadero Falso Verdadero

Garca Mrquez es el autor de Cien aos de Soledad


La veracidad (V) o falsedad (F) de una proposicin se llama valor de verdad y viene dada por algn criterio independiente de la proposicin.

Nota:

Expresiones que no son proposiciones


Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones, las oraciones exclamativas, exhortativas o imperativas, las desiderativas y admirativas no son proposiciones porque ninguna de ellas afirma o niega algo, por lo tanto no son verdaderas ni falsas, as mismo las oraciones dubitativas, as como los juicios de valor (a pesar de que afirman algo), no constituyen proposiciones, pues su veracidad o falsedad no puede ser establecida.

Proposicin

Porque no es una proposicin


Exclamacin o admiracin

Ejemplo No. 2

Viva la familia!

Est lloviendo?
Lvate la cara Pedro es muy malo Debemos honrar a nuestros hroes Que tengas muy buen da Quiz llueva maana

Pregunta
Imperativa u orden Juicio de valor Exhortativa Desiderativa Dubitativa

Nota:

Toda proposicin es una oracin aseverativa (afirman algo), pero no toda oracin aseverativa es una proposicin.

Ejemplo No. 3
Eduardo es un nmero racional La mesa es inteligente X+3=5 A es la capital de Bolvar Todas las anteriores son ejemplos de expresiones aseverativas, pero no de proposiciones, son expresiones lingsticas que tienen apariencia de proposiciones, pero que realmente no lo son porque no tiene sentido o no se puede afirmar que son verdaderas o falsas.

Conclusin
para que una expresin sea proposicin debe cumplir con los siguientes requisitos: 1. Ser oracin. 2. Afirmar algo. 3. Ser bien Verdadera o bien Falsa.

Variables proposiciones
Las proposiciones se representan mediante variables proposicionales simbolizadas con letras minsculas p, q, r,...... que se denominan tomos.

Ejemplo No 4:
p: Repeln es un municipio del estado del departamento del Atlntico. q: Un gobernador puede reelegirse segn la constitucin poltica mexicana.

Proposicin Compuesta
Si las proposiciones simples p1, p2, . . . , pn se combinan para formar la proposicin P, diremos que P la es una proposicin compuesta de p1, p2, . . . , pn.

Ejemplo 5:
La Matemtica Analtica es mi asignatura preferida y Mozart fue un gran compositor: Es una proposicin compuesta por las proposiciones La Matemtica Analtica es mi asignatura preferida y Mozart fue un gran compositor.
El es inteligente o estudia todos los das: es una proposicin

compuesta por dos proposiciones: El es inteligente y El estudia todos los das. Nota:
La propiedad fundamental de una proposicin compuesta es que su valor de verdad est completamente determinado por los valores de verdad de las proposiciones que la componen junto con la forma en que estn conectadas.

Conectivos Lgicos (Trminos de Enlace)


Son palabras y/o smbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simblico) ms amplio .

Los conectivos lgicos ms usuales son:

Tabla de Verdad
La tabla de verdad de una proposicin compuesta P enumera todas las posibles combinaciones de los valores de verdad para las proposiciones p1, p2, . . . , pn.

Ejemplo 6:
Si P es una proposicin compuesta por las proposiciones simples p1, p2 y p3, entonces la tabla de verdad de P deber recoger los siguientes valores de verdad.

p1 V V V V F F F

p2 V V F F V V F

p3 V F V F V F V

Conectivos Lgicos
1-. Conjuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas a la proposicin compuesta p y q y la notaremos p ^ q. Esta proposicin ser verdadera nicamente en el caso de que ambas proposiciones lo sean.
p V V F F q V F V F p^q V F F F

Obsrvese que de la definicin dada se sigue directamente que si p y q son, ambas, verdaderas entonces p ^ q es verdad y que si al menos una de las dos es falsa, entonces p ^ q es falsa. Por lo tanto su tabla de verdad vendr dada por:

Conectivos Lgicos
2-. Disyuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la proposicin compuesta p o q y la notaremos pvq. Esta proposicin ser verdadera si al menos una de las dos p o q lo es. De acuerdo con la definicin dada se sigue que si una de las dos, p o q, es verdad entonces pvq es verdad y que pvq ser falsa, nicamente si ambas lo son. Su tabla de verdad ser, por tanto:
p V V q V F pvq V V

F F

V F

V F

Conectivos Lgicos
3-. Disyuncin Exclusiva
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a la proposicin compuesta p o q pero no ambos y la notaremos pvq. Esta proposicin ser verdadera si una u otra, pero no ambas son verdaderas. Segn esta definicin una disyuncin exclusiva de dos proposiciones pvq ser verdadera cuando tengan distintos valores de verdad y falsa cuando sus valores de verdad sean iguales. Su tabla de verdad es, por tanto:
p V
V F F

q V
F V F

pvq F
V V F

Conectivos Lgicos
4-. Negacin
Dada una proposicin cualquiera p, llamaremos negacin de p a la proposicin no p y la notaremos p. Ser verdadera cuando p sea falsa y falsa cuando p sea verdadera.
La tabla de verdad de esta nueva proposicin, p, es:
p V F p F V

Ejemplo 7:

Negar las siguientes proposiciones:

p1: El Pentium es un microprocesador. p2: Es falso que el Pentium sea un microprocesador. p3: El Pentium no es un microprocesador p4: 2 + 2 = 5 p5: Es falso que 2 + 2 = 5
p6: 2 + 2 = 4

Conectivos Lgicos
5-. Tautologas y Contradicciones
Sea P una proposicin compuesta de las proposiciones simples p1, p2, . . . , pn
P es una Tautologa si es verdadera para todos los valores de verdad que se asignen a p1, p2, . . . , pn. P es una Contradiccin si es falsa para todos los valores de verdad que se asignen a p1, p2, . . . , pn. En adelante, notaremos por C a una contradiccin y por T a una tautologa.
Una proposicin P que no es tautologa ni contradiccin se llama, usualmente, Contingencia.

Nota:

Ejemplo 8:
Probar que la proposicin compuesta p V p es una tautologa y la p ^ p es una contradiccin.
Solucin:
p p p V p p ^ p

V F

F V

V V

F F

Obsrvese que p V p es verdad, independientemente de quienes sean las variables de enunciado, p y p y lo mismo ocurre con la falsedad de p ^ p.

Proposicin Condicional
Dadas dos proposiciones p y q, a la proposicin compuesta si p, entonces q se le llama proposicin condicional y se nota por pq A la proposicin p se le llama hiptesis, antecedente, premisa o condicin suficiente y a la q tesis, consecuente, conclusin o condicin necesaria del condicional. Una proposicin condicional es falsa nicamente cuando siendo verdad la hiptesis, la conclusin es falsa (no se debe deducir una conclusin falsa de una hiptesis verdadera).
p q V F V F pq V F V V

De acuerdo con esta definicin su tabla de verdad es,

V V F F

Proposicin Condicional
Otras formulaciones equivalentes de la proposicin condicional pq son: p slo si q. q si p. p es una condicin suficiente para q. q es una condicin necesaria para p. q se sigue de p. q a condicin de p. q es una consecuencia lgica de p . q cuando p.
Ejemplo 8: Sean p y q las proposiciones El nmero N es par, La salida va a la pantalla. Enunciar las formulaciones equivalentes de, p q.

Solucin: p: El nmero N es par q: La salida va a la pantalla Si la salida va a la pantalla, entonces el nmero N es par. La salida ir a la pantalla si el nmero N es par. El nmero N es par si la salida va a la pantalla. Una condicin suficiente para que el nmero N sea par es que la salida vaya a la pantalla. Una condicin necesaria para que la salida vaya a la pantalla es que el nmero N sea par. El nmero N es par solo si la salida va a la pantalla. La salida va a la pantalla es una consecuencia lgica de que el nmero N sea par. La salida va a la pantalla cuando el nmero N sea par.

Ejercicio en Clase 1: Sean las proposiciones: p : Est nevando. q : Ir a la ciudad. r : Tengo tiempo.

a) Escribir, usando conectivos lgicos, una proposicin que simbolice cada una de las afirmaciones siguientes: a.1) Si no est nevando y tengo tiempo, entonces ir a la ciudad. a.2) Ir a la ciudad slo si tengo tiempo. a.3) No est nevando. a.4) Est nevando, y no ir a la ciudad. b) Enunciar las afirmaciones que se corresponden con cada una de las proposiciones siguientes: b.1) q(r ^ p) b.2) r ^ q b.3) (q r) ^ (r q) b.4) (r vq)

Proposiciones Reciprocas y Contrareciprocas


Dada la proposicin condicional p q, su reciproca es la proposicin, tambin condicional, q p. Dada la proposicin condicional pq, su contrarreciproca es la proposicin, tambin condicional, qp.
Ejercicio en Clase 2:

Escribir la reciproca y la contrarreciproca de cada una de las afirmaciones siguientes: a) Si llueve, no voy. b) Me quedar, sol si t te vas. c) Si tienes cien pesetas, entonces puedes comprar un helado. d) No puedo completar la respuesta si no me ayudas.

Proposicin Bicondicional
Dadas dos proposiciones p y q, a la proposicin compuesta p si y slo si q se le llama proposicin Bicondicional y se nota por pq Su tabla de verdad es:
p
V V F F

q
V F V F

pq
V F F V