Matemática I

2 parciales Prácticos
2 parciales Teóricos
1 recuperatorio
Para regularizar se deben aprobar los dos parciales
prácticos
Para promocionar aprobar los dos parciales prácticos y
teóricos
 LOGICA PROPOSICIONAL

CARRERA Analista en Sistemas de Computación ,

Licenciatura en Sistemas de Información y
Profesorado Universitario en computación
La lógica es la disciplina que estudia los métodos de
formalización del conocimiento humano. En lógica se
estudian, por tanto, métodos de formalización de frases
declarativas. Para ello existen dos niveles de abstracción
según el grado de detalle que se quiera formalizar: Lógica
proposicional y Lógica de predicados.
La lógica proposicional o lógica de enunciados toma
como elemento básico las frases declarativas simples o
proposiciones que son aquellos elementos de una frase
que constituyen por si solos unidad de comunicación de
conocimientos y pueden ser considerados verdaderos o
falsos.
La lógica de predicados estudia las frases declarativas
con mayor grado de detalle, considerando la estructura
interna de las proposiciones . Se tomarán como elemento
básico los objetos y las relaciones entre dichos objetos.
 Proposición
 Es un enunciado al cual se le ¿Son proposiciones?
puede asociar el concepto de
 ¿Qué hora es?
verdadero o falso, pero no
 Por favor, cierre la puerta
ambos. Es una oración
 El 6 de abril de 1876 fue
declarativa
sábado
Ejemplos:  Dice el Presidente:
 La luna es cuadrada “Todos en este país son unos
 7 es un número primo mentirosos y esto es verdad”
 Las arañas son mamíferos
Lógica Proposicional

Los enunciados se denotaran por letras p ,q, r

La regla fundamental de la Lógica es: La ley del Medio

excluido ¨Toda proposición debe ser verdadera o Falsa, pero
no puede ser ambas cosas, ni puede ser ninguna de las dos
cosas
 Conocido el valor de verdad de ciertas proposiciones, la lógica
establece el valor de verdad de otras relacionadas con éstas.

 A éstas últimas se les conoce como proposiciones compuestas

Lógica Proposicional
 Lógica proposicional : ejemplo de enunciados
proposiciones

Ejemplo: diga cuales de las siguientes afirmaciones son

proposiciones y determinar el valor de verdad :

a) p: existe premio nobel en Computación

b) q : Marie Curie gano el premio nobel de Química
c) r : tecle escape para salir de la aplicación
d) s : siete es mas grande que cinco
e) t: Candelaria es la capital de Misiones
Lógica Proposicional
 Si las proposiciones p, q, r se combinan para formar la
proposición z, diremos que z es una proposición compuesta
 En un enunciado compuesto su valor de verdad depende del
valor de verdad de los enunciados

¨Él es inteligente o estudia todos los días¨ es una

proposición compuesta por dos proposiciones : ¨Él es
inteligente ¨y ¨él estudia todos los días
Tabla de Verdad
La tabla de verdad de una proposición p q r
compuesta P enumera todas las V V V
posibles combinaciones de los valores
de verdad para las proposiciones p,q V V F
r….t V F V
Ejemplo : si P es una proposición
V F F
compuesta por las proposiciones
simples p, q y r entonces la tabla de F V V
verdad de P deberá recoger los F V F
siguientes valores de verdad
F F V
F F F
2 n  2 3 8
Conexión entre proposiciones: Conjunción
Dadas dos proposiciones cualesquiera p y q, llamaremos
conjunción de ambas a la proposición compuesta ¨p¨ y ¨q¨.
Esta proposición será verdadera únicamente en el caso de
que ambas proposiciones lo sean. La notación
pq

Nº de grados de
verdad

2n  22  4

Ejemplo : Sea p ¨esta lloviendo¨ y sea q ¨ el sol brilla¨ entonces p y

q denota ¨esta lloviendo y el sol brilla ¨
Conjunción
 Para construir la tabla de p
 q, debemos considerar p q pq
las diferentes alternativas
de valores de verdad para V V V
p y para q:
 ¿Cuáles son ? V F F

 Ambas verdaderas F V F

 una V y la otra F F F F

 ambas falsas
 Conjunción
 Ejemplos:
p: Hoy es miércoles  Si p y q son
proposiciones, se
q: La luna es cuadrada llama conjunción
r: mañana es jueves de p y q a la
proposición
compuesta “p y q “
p  q :Hoy es miércoles y la luna y se denota por:
es cuadrada pq
p  r :Hoy es miércoles y mañana
es jueves
 Conjunción
Se toman como “sinónimos” de la conjunción:

 Además  También
 Pero  Aún
 Sin embargo  A la vez
 Aunque  No obstante
 Conjunción: p ^ q

 Luís estudia ,además de trabajar

 Luís estudió pero no aprobó
 Luís canta, sin embargo no baila
 Luís jugó al futbol aunque estaba lesionado
 Luís juega al futbol , también José
 Luís salió, aún no llega
 Luís cocina a la vez que canta
 Luís viajará no obstante esté sin visa
 Luís canta , no baila.
 Conexión entre proposiciones: Disyunción
Dadas dos proposiciones cualesquiera p y q , llamaremos
disyunción de ambas a la proposición compuesta ¨p o q¨ y
la denotaremos p v q. Esta proposición es verdadera si al
menos una de las dos p ó q lo es

Ejemplo: sea p ¨estudio inglés en la facultad¨ o el vivió en ËEUU

La palabra ó¨ se usa en el lenguaje ordinario de dos formas distintas . A
veces se utiliza en el sentido de ¨p o q¨, o ambos¨, es decir, al menos una
de las dos alternativas ocurre y , a veces es usada en el sentido de ¨p o q,
pero no ambos¨ es decir, ocurre exactamente una de las dos alternativas.
Disyunción
 Si p y q son p q pq
proposiciones, se
llama disyunción de V V V
p y q a la
proposición V F V
compuesta “p o q”
y se denota por: F V V
pq
F F F
Conexión entre proposiciones: Disyunción exclusiva o
Diferencia simétrica

Dadas dos proposiciones cualesquiera p y q, llamaremos disyunción

exclusiva de ambas a la proposición compuesta ¨p ó q pero no ambas¨.
Esta proposición será verdadero si uno u otro, pero no ambas son
verdaderas. La notaremos
pq

Ejemplo: Juan fue a estudiar o a jugar al futbol

Conexión entre proposiciones: Negación
 Dado un enunciado p se puede formar otro enunciado, que se llama
negación de p, escribiendo es ¨es falso que..¨ antes de p, o cuando es
posible, insertando la palabra ¨no¨.
 Dada una proposición cualquiera ,p; llamaremos ¨negación de p¨ a la
proposición ¨no p¨. Será verdadera cuando p sea falsa y falsa cuando p
sea verdadera. La notación es
p
p1: Octave es un software libre
p2: es falso que Octave es un software
libre
P3 . Octave no es un software libre
Negación
 Esto lo podemos
escribir de una manera
“compacta”, utilizando Posibilidades para la proposición p
una tabla
 A esta tabla se le llama
“tabla de certeza de la p ~p
negación”
V F
F V
Negación
Como sinónimos de no, se utilizan las
siguientes expresiones:

 No es cierto que ……..

 No es el caso que………
 Es falso que…………
 No sucede que…………….
Conexión entre proposiciones: condicional
Dadas dos proposiciones p y q, a la proposición
compuesta ¨si p, entonces q¨ se llama ¨proposicional
condicional¨
A la proposición ¨p¨ se llama hipótesis, antecedente,
premisa o condición suficiente y a la ¨q¨ tesis,
consecuente, conclusión o condición necesaria del
condicional. Una proposición condicional es falsa
únicamente cuando siendo verdad la hipótesis, la
conclusión es falsa.
Se notara

pq
Partes de un condicional

p q

antecedente consecuente
Condición Condición
suficiente necesaria
 Condicional
 Si p y q son  Ejemplos:
proposiciones, se llama  Si no llueve (entonces)
condicional de p y q a la iremos a la playa
proposición compuesta  Si me gano la lotería
“si p, entonces q” y se (entonces) me voy de
denota por: viaje
pq  Si no estudio (entonces)
no aprobaré Lógica
Formas derivadas del condicional
 Dado el condicional directo: p q, el condicional ~ q
 ~p se llama contrarrecíproco y lo expresaríamos:
“ si no q, entonces no p”
 Directo: p q
Si repruebo el examen, entonces me enojaré bastante
 Contrarrecíproco: ~ q  ~p
Si no me enojo bastante, entonces no repruebo el
examen
Conexión entre proposiciones: condicional

Si estudio mucho, entonces apruebo

¨p sólo si q
¨q es una condición necesaria para p
¨p es una condición suficiente para q
¨q se sigue de p
¨q a condición de p¨
¨q es una consecuencia lógica de p
¨q cuando p
Condicional
 Veamos la tabla del condicional:
pq
p q pq
V V V

V F F

F V V

F F V
 Conviene pensar en una “promesa” ..... Si no llueve (entonces)
iremos a la playa
Condicional
 El condicional es falso, sólo
p q pq
cuando el antecedente es
verdadero y el consecuente es V V V
falso; es decir, cuando la V F F
“promesa” no se cumple. F V V
F F V
Condicional
 El condicional es muy
importante en matemáticas,
porque los Teoremas se
expresan en forma
condicional. p q pq
 Un Teorema será un V V V
condicional verdadero con
hipótesis verdadera
Condicional
Algunas expresiones del lenguaje que indican la presencia
de un condicional (p → q), son las siguientes:
 p es condición suficiente para ¨q
 Si p, q
 Q si p
 Que p supone que q
 Cuando p, q
 q es condición necesaria para p
 En caso de que p entonces q
 q sólo si p
Conexión entre proposiciones: Bicondicional
Dadas dos proposiciones p y q , a la proposición compuesta ¨p si
y sólo si q¨ se la denomina proposición Bicondicional . Se denota

pq
La interpretación del enunciado es:

p si solo si q y p si q
O lo que es igual

Si p, entonces q y si q, entonces p

Es decir,
𝑝→𝑞 ∧ 𝑞→𝑝
Conexión entre proposiciones: Bicondicional

La proposición bicondicional es verdadera únicamente en caso de que

ambas proposiciones , p y q tengan los mismos valores de verdad

Ejemplo: Atenas esta en Grecia si , y solamente si, 2+2= 4

 Tablas de verdad

 Recordemos que el valor de certeza de una proposición compuesta

depende de los valores de certeza de las proposiciones simples que
la componen
 Para analizar los valores de certeza de una proposición compuesta,
representamos todas las posibilidades de valores de verdad de las
proposiciones simples, en un arreglo de tabla
 Ejemplo con 2 proposiciones simples
 Construyamos la tabla de verdad para la siguiente
proposición :(pq)(p~q)
 4 filas de posibilidades

p q ~q pq p~q (pq)(p~q)

V V F V F F
V F V F V F
F V F F V F
F F V F V F
 Ejemplo con 3 proposiciones simples
p q r
V V V
 ¿Cuántas posibilidades V V F
tendremos?
V F V
V F F
F V V
F V F
F F V
F F F
 Ejemplo con 3 proposiciones simples

Hacer la tabla de certeza para: (rp)  ~(qp)

p q r rp qp ~(qp) (r  p)  ~(qp)

V V V V V F F
V V F V V F F
V F V V V F F
V F F V V F F
F V V V V F F
F V F F V F F
F F V V F V V
F F F F F V F
En resumen
 Una tabla de verdad para proposiciones compuestas que
contienen:
 1 proposición simple… tendrá 2 filas
 2 proposiciones simples 4 = 232 filas
 3 proposiciones simples
8 = 2 filas
 4 proposiciones simples 16= 24 filas

……razonando inductivamente……..

 n proposiciones simples 2n filas

LAS FORMAS PROPOSICIONALES
Sea P una proposición compuesta de las proposiciones simples p, q, r, s…
P es una Tautología si es verdadera para todos los valores de verdad que se le
asignen a p, q, r, s…
P es una contradicción si es falsa para todos los valores de verdad que se asignen
a p, q, r, s…
Denotaremos por ¨C¨ a una contradicción y por ¨T¨ a una tautología

Una proposición P que no es tautología ni contradicción se llama

Contingencia
Ejemplos
F
Formas de razonamiento
Formas de razonamiento
Formas de razonamiento
 pq

p  q es lo mismo que (p  q  q  p)
La proposición P es lógicamente equivalente a la proposición Q si, y
sólo si la proposición bicondicional P  Q es una tautología
Equivalencia Lógica

p q pvq ¬ (p v q)
V V V F
V F V F
F V V F
F F F V

p q p ^q ¬p ¬q ¬p^¬ q
V V V F F F
V F F F V F
F V F V F F
F F F V V V
Equivalencia Lógica
La proposición P es lógicamente equivalente a la
proposición Q si, y sólo si la proposición bicondicional P
⇔ Q es una Tautología
Demostración
Veamos que P ≡ Q sólo si P⇔ Q es una Tautología
En efecto, si P≡ Q, entonces tienen los mismos
valores de verdad, es decir P y Q son , ambos,
verdaderos o falsos, de aquí que el valor de
verdad de P⇔ Q sea siempre verdadero , es decir una
Tautología.
Reciprocamente, probemos que Q ≡P si Q⇔ P es una
Tautología
Equivalencia Lógica Bicondicional
PRUEBA DE VALIDEZ DE RAZONAMIENTO POR CONDICIONAL
ASOCIADO