TEMA:

CALCULO PROPOCISIONAL

DOCENTE : ING.CARLOS BARRERA GRUPO TEORICO 04

AGOSTO 2016
 Lgica Simblica
Se caracteriza por el empleo de smbolos como los hacen otras ciencias como la
matemtica. Estos smbolos permiten la formacin de modelos formales para
representar argumentos.

Lgica proposicional
Su objetivo primordial es examinar la demostracin de validez de los argumentos,
tomando como base la relacin de las proposiciones que los componen.
 Un argumento
es un sistema de enunciados u oraciones declarativas en las que unas son asignadas
como premisas y otras como conclusiones.

Calculo proposicional
Es la operacin semejante a la que se hace en matemticas, por la que de ciertos
enunciados o premisas se pueden obtener como conclusiones otros enunciados
aplicando regla o leyes establecidas.
Como lenguaje simbolico formalizado estudia las relaciones lgicas que se
establecen en las premisas y las conclusiones de un argumento o de un
razonamiento.
 La Lgica Proposicional
Se compone o integra de un conjunto de clculos, de smbolos lgicos,
interrelacionados para formular argumentos o inferencias.
Calculo Proposicional
Requiere un lenguaje simblico que tenga caractersticas distintas del lenguaje
ordinario o natural.
El lenguaje simblico de la lgica se caracteriza por ser sinttico o compacto.
Se forma por el empleo de signos que representan proposiciones simples y que al
unirse dos o mas forman proposiciones compuestas(razonamientos).
 LETRAS PROPOCISIONALES
Tomaremos bsicamente las letras minsculas del alfabeto: (p,q,r,s) y las siguientes
si fuera necesario.

Cada letra proposicional representa una proposicin simple. Por ejemplo si

enunciamos la siguiente proposicin : La justicia es un valor fundamental,
podemos convenir representarla por la letra proposicional p o con alguna otra.
 Clasificacin de las proposiciones
Las proposiciones son pensamientos o enunciados declarativos que pueden ser
verdaderos o falsos, los enunciados interrogativos Quin es Scrates?; Imperativos
dame tu mano y Admirativos !Que barbaridad! No son proposiciones y por lo tanto
no son verdaderos ni falsos.

En cambio las proposiciones u oraciones declarativas como: la puerta es roja", "Las

flores se alimentan de oxigeno el petrleo es un hidrocarburo son proposiciones y
por lo tanto son susceptibles a ser verdaderas o falsas.
 Para concretar
Anota al lado derecho una p,si los enunciados son proposiciones y NP si no lo son:
A. Alto con luz roja_________________________________.
B. Cuidado con el perro ____________________________.
C. Para que sirve la Libertad? ______________________.
D. !Maldita sea mi suerte! ___________________________.
E. El agua se compone de hidrogeno y oxigeno!________.
F. Podemos Distinguir ____________________________.
G. La lgica es una ciencia formal____________________.
 La lgica proposicional distingue dos tipos de proposiciones:
Simples o Atmicas
Compuestas o Moleculares

Simples o Atmicas
Se componen de una sola proposicin y carecen de trminos de enlace o
conectivos, excepto la negacin, por ejemplo :
Las matemticas son una ciencia formal
El sol es una estrella
Proposiciones Compuestas o moleculares
Como su nombre lo indica se componen de dos o mas proposiciones simples, y
adems como rasgo distintivo tienen trminos de enlace o conectivos lgicos, por
ejemplo :

La Lgica es una ciencia formal y La matemtica tambin

La tierra es un planeta si y solo si la tierra gira alrededor del sol
No es cierto que el acido sulfrico no corroe a la madera
Baja california no es una isla
 Para concretar
A la derecha de cada proposicin coloca una A si la proposicin es atmica o una M
si es molecular :
a) Si estudiamos para el exame,entonces Aprobaremos ______________.
b) El sol es una estrella si y solo si la tierra es un planeta _____________.
c) Juan y Maria son Novios _________________________________________.
d) La lnea mas corta entre 2 puntos es la lnea recta__________________.
e) No es cierto que el plomo es radioactivo__________________________.
f) Todos los metales se dilatan con el calor___________________________.
g) Cuba es una isla y Baja california una pennsula___________________.
h) Pluton es el planeta mas cercano o mas lejano de nuestro sistema solar__.
 CONECTIVAS LOGICAS
Las proposiciones se relacionan mediante trminos de enlace o conectivos lgicos,
estos trminos son los siguientes :
Negacin
La negacin es un conectivo diferente a los otros cuatro, negar una proposicin
consiste en indicar que es Falsa. Si negamos p siendo p verdadera, obtendremos
una proposicin falsa, pero si negamos p siendo p falsa obtendremos una
proposicin verdadera.

En el lenguaje natural puede expresarse con los siguientes trminos no es

cierto que no es el caso que no ocurre que o simplemente con el termino
no.
Ejemplo
El centro de gravedad de cualquier recta no es el punto que divide a la recta en
dos partes iguales
 Negacin
P ~P
V F

F V

Tabla de Verdad

Que significa la siguiente expresin?

p: Medelln es la capital
de la montaa
( p )
Conjuncin
La funcin lgica de este conectivo es unir dos propocisiones.La conjuncin
es verdadera si ambos enunciados son verdaderos , y es falsa cuando al
menos uno de sus enunciados es falso,o ambos son falsos.
Es el conectivo lgico que enlaza o conjunta dos o mas enunciados
utilizando en el lenguaje natural o cotidiano los siguientes:
y,Pero,Aunque,Ademas

Ejemplo
Londres es la capital de Inglaterra y pars es la capital de Francia
 Conjuncin
P Q PQ
V V V
V F F
F V F
F F F

p: Los perros son mamferos Tabla de verdad

q: todos los animales mamferos son terrestres
 Conjuncin
Supongamos que un pap le dice a su hijo llamado Juan: Para que te deje ir
al antro el fin de semana debes traer 10 en tu examen de esta semana y
lavarme el coche todos los das desde el lunes hasta el viernes

Juan se encuentra ante las mismas dos situaciones anteriores, que

reflejaremos en dos proposiciones:
p: Juan saca 10 en su examen semanal.
q: Juan lava el coche de su pap de lunes a viernes.

En que caso Juan podra ir al antro?

Disyuncin
Es un termino que enlaza y tiene su funcin de presentar disyuntivas entre
enunciados.En el lenguaje natural se expresia mediante el termino o.

La disyuncin puede ser inclusiva y exclusiva.

Inclusiva cuando indica que si al menos uno de los enunciados simples es
verdaderos la propocision resultara verdadera y en el que el caso de que
ambos sean falsas la propocision ser falsa

Ejemplo
O arquimides y newton son matemticos o son historiadores
 Disyuncin

Supongamos que un pap le dice a su hijo llamado Juan: Para que te

deje ir al antro el fin de semana debes cumplir una de estas dos
condiciones: Traer 10 en tu examen de esta semana o lavarme el coche
todos los das desde el lunes hasta el viernes

El joven se encuentra ante dos situaciones que reflejaremos en las

siguientes proposiciones:
p: Juan saca 10 en su examen semanal.
q: Juan lava el coche de su pap de lunes a viernes.

En que condiciones Juan no ira al antro?

 Disyuncin
P Q PQ
V V V
V F V
F V V
F F F
p: Los perros son mamferos
q: todos los animales mamferos son terrestres
 Condicional
P Q PQ
V V V
V F F
F V V
F F V

p: Los estudiantes de 11 de la I.E.E aprobaron todas las materias.

q: Los estudiantes de 11 dela I.E.E ganaran el primer periodo
Condicional o Implicacin

Se lee:

PQ Si P entonces Q

P implica Q

P es suficiente para Q
 Bicondicional
P Q PQ
V V V
V F F
F V F
F F V
p: Los estudiantes de 11 de la I.E.E aprobaron todas las materias.
q: Los estudiantes de 11 dela I.E.E ganaran el primer periodo
 Bicondicional o
Doble Implicacin

PQ
Definicin: P Q P Q Q P

Se lee: P si y slo si Q
P es necesario y suficiente para Q
Disyuncin Exclusiva
Una disyuncin es exclusiva cuando se puede dar una de las
dos proposiciones pero no ambas a la vez.

Ejemplos:

Los insectos son artrpodos o aves

Los perros son cuadrpedos o bpedos
El da del trabajo es en mayo o en junio
lvaro Uribe Vlez es liberal o conservador
El campen de la liga espaola ser el Real Madrid o el
Barcelona