Lgica proposicional

Presentacin

Un propsito a lograr en el rea de matemtica, es que los alumnos aprendan a razonar

matemticamente. Tal propsito no se lograra, si es que no pasa del mundo de las opiniones
empricas al mundo del pensamiento formal. Pero, un pensamiento sistemtico, autntico y
coherente no puede surgir sin la base de un mtodo crtico correcto. En este sentido, el conocimiento
de la lgica (ciencia que se ocupa del estudio de los mtodos y principios para distinguir el buen
razonamiento del malo), se hace indispensable.

Unidad 01
Nociones fundamentales

Objetivos
- Identificar el lenguaje simblico de las proposiciones.
- Conocer los usos propios de cada smbolo
- Usar correctamente los conectivos lgicos para simbolizar las proposiciones compuestas
que se indican
- Traducir al lenguaje simblico razonamientos expresados en lenguaje ordinario

Introduccin

En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada
conclusin que obtenemos se deduce de algo. Este algo o punto de partida se llama premisa. Por
ejemplo si exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando un
campesino ve una densa nube en el cielo, deduce que va a llover, o tambin de "todos los mamferos
son vertebrados" se puede concluir en "algunos mamferos son vertebrados". Este proceso de pasar
de un conjunto de premisas a la conclusin se llama inferencia o deduccin.

Cuando la conclusin se deduce correctamente del conjunto de premisas se dice que la

inferencia es vlida, en caso contrario la inferencia no es vlida. Sabemos que la conclusin se deriva
correctamente de sus premisas porque hay un conjunto de leyes lgicas que garantizan dicha
correccin. Justamente la lgica estudia el modo de usar estas leyes, con las cuales podemos saber
si una inferencia es vlida o no. De ah que, la lgica es una ciencia que estudia los mtodos y las
leyes que determinan la validez de la inferencia.
As como existe una teora para realizar clculos con nmeros (la aritmtica) o con objetos
ms complejos como diferencial e integral, tambin existen reglas precisas para manejar
proposiciones. Esto ltimo corresponde al estudio de la lgica proposicional
1 Enunciado
Un enunciado es toda frase u oracin que se emite

Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas, otros en cambio,

pueden ser verdaderos o falsos.
Ejemplo 1. Son enunciados:
Qu hora es?
Arriba Per!
2+5=7
 La cordillera del Cndor es peruano
2x + 3 = 5
2 Proposicin

Es un enunciado o afirmacin al que se le puede asignar el valor de verdad

verdadero o el valor de verdad falso, pero no ambos.

Ejemplos 2: Las siguientes afirmaciones son proposiciones:

Omate es nombre de una ciudad andina.
Horacio Zeballos Gamez naci en Carmas
1+1=3
1+6=7
El cuadrado de todo nmero par tambin es par.
Las proposiciones pueden ser simples (o atmicas) y compuestas, cuando esta compuesta por
varias proposiciones simples
Ejemplos 3: Las dos primeras afirmaciones son proposiciones simples y los restantes, compuestas
El tringulo es un polgono
1+7=5
Si Juan va al cine, entonces tiene dinero
Un tringulo es equingulo si, y solo si es equiltero
Marcos en ingeniero o Beatriz es profesora
3 Enunciado abierto
Son aquellas oraciones que contienen variables sin especificar un valor
determinado; no tienen la propiedad de verdadero o falso.

Ejemplo. Son enunciados abiertos:

Los enunciados que usan las palabras l, ella son enunciados abiertos
A los enunciados abiertos que contienen variables algebraicas se les denomina funcin
proposicional, que tienen la propiedad de convertirse en proposiciones, al sustituirse la variable
por una constante especfica.
Ejemplo:
El enunciado abierto
x2 + 1 = 5

Es una funcin proposicional, el cual se convierte en proposicin cuando:

i. Para x = -3 (por ejemplo), se convierte en la proposicin
(-3)2 + 1 = 5 (F)
el cual tiene valor de verdad Falsa

ii. Para x = 2, entonces, ser la proposicin

(2)2 + 1 = 5 (V)
el cual tiene valor de verdad Verdadera

4 Notacin
Usaremos las letras minsculas p, q, r, para simbolizar las proposiciones. Las proposiciones se
pueden combinar para obtener proposiciones compuestas utilizando conectivos lgicos que veremos
a continuacin:
 Actividades

1. Sean p, q y r las proposiciones siguientes:

p: est lloviendo
q: el sol esta brillando
r: hay nubes en el cielo
Traduciremos las siguientes oraciones a notacin simblica utilizando las letras asignadas y los
conectivos lgicos:

1 Est lloviendo y el Sol brillando

2 Si est lloviendo, entonces hay nubes en el cielo
3 Si no est lloviendo, entonces el Sol no est brillando y hay
nubes en el cielo
4 El Sol est brillando si, y slo si, no est lloviendo
5 Si no hay nubes en el cielo, entonces el Sol est brillando
5 O esta lloviendo o el sol est brillando

2. Sean p, q y r del ejercicio 1. Traducir las siguientes proposiciones simblicas a oraciones en

espaol:

3. Selecciona un artculo de peridico o de una revista: identifica, proposiciones simples,

conjunciones, disyunciones e implicaciones.
4. Construye funciones proposicionales.
La proposicin: si est lloviendo, entonces hay nubes en el cielo se simboliza:
Ejercicio: Simbolice y redacte la recproca, inversa y contrarecproca

Lenguaje
Lenguaje espaol
lgico

Recproca

Inversa

Contrarecproca

5 Negacin de proposiciones
a) Negacin de una conjuncin:
(p q) equivale a p q

Ejemplo
La negacin de
Est lloviendo y el sol est brillando
es
No est lloviendo o el sol no est brillando

Es decir, la negacin de una conjuncin es la disyuncin

Observe que la ltima proposicin es diferente a la cual corresponde, en nuestro ejemplo,
a No est lloviendo y el sol no est brillando. Que usualmente se dice: ni est lloviendo ni el sol est
brillando

b) Negacin de una disyuncin.

(p q) equivale a p q

Ejemplo: La negacin de
Est lloviendo o el sol est brillando
es
No est lloviendo y el sol no est brillando

Es decir, la negacin de una disyuncin p q, es la conjuncin

Observe que la ltima proposicin es diferente a
c) Negacin de una condicional
 (p q) equivale a p q

Ejemplo. La negacin de
Si est lloviendo, entonces hay nubes en el cielo
es
Est lloviendo y no hay n