Matemática I

Araujo Cajamarca, Raul

UNIDAD I
• SEMANA N° 01

LÓGICA
PROPOSICIONAL

Araujo Cajamarca, Raul

 Interés

¿Hay alguna forma de que

un plan de producción y/o
servicio sea el óptimo?

¿Existe alguna herramienta

que nos permita determinar
de manera óptima, el plan de
operaciones de una
organización?
AGENDA

1. Presentación de un caso
2. Conceptos previos
3. Conectivos Lógicos
4. Tablas de verdad
5. Equivalencias lógicas
 LOGRO DE LA SESIÓN

Al término de la sesión, el estudiante elabora una exposición sobre las teorías de

la Programación Lineal, mostrando dominio técnico, claridad, desenvolvimiento y

manejo de la herramienta para la determinación de la solución óptima a un caso

planteado

TIEMPO SUJETO VERBO CONDICIÓN CRITERIOS

 Descubrimiento

El estudio de la lógica de proposiciones ha venido a

menos en estos últimos tiempos. En las escasas
oportunidades en que se desarrolla, se realiza
enfatizando en la parte algebraica de la determinación
de valores de verdad o simplificando expresiones
proposicionales complejas.

Poco se detiene en el estudio reflexivo de los conectivos lógicos y las

expresiones proposicionales equivalentes. Por ejemplo, sean las
siguientes expresiones:

❑ No es cierto que voy a la biblioteca o a la cafetería.

❑ No voy a la biblioteca o no voy a la cafetería.

¿Son equivalentes estas expresiones? En esta sección se hace un

estudio elemental de las proposiciones, los conectivos y sus valores
de verdad, y las proposiciones equivalentes.
 Tarea de la lógica
 Determinar la falsedad o verdad de una premisa es tarea
de la ciencia en general

 El lógico no está interesado en la verdad o falsedad de

las proposiciones sino en las relaciones lógicas entre
ellas, es decir, la validez de los argumentos en que
pueden aparecer.

 La lógica nos da los elementos para afirmar sobre la

validez de un argumento
 Proposición

 Es un enunciado al cual se le puede asociar el concepto

de verdadero o falso, pero no ambos.

Ejemplos:

 La luna es cuadrada

 7 es un número primo

 Las arañas son mamíferos

 Proposiciones compuestas
Conectivos
 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
 Cada proposición es representada por una letra,
tradicionalmente p, q, r, …

 Tenemos conectores lógicos:

▪ y (), o (), no (), implicación (→)

▪ Definidos a través de una tabla de verdad

▪pq
 Negación

 Si p es una  Si “p” es una

proposición, entonces proposición
“no p” es la negación verdadera, cómo es
de p y se denota por: ~p ?
~p
Ejemplo:
P: Hoy es martes
~ p: Hoy no es martes
 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…………….
 Negación
 Podemos representar la Posibilidades para la proposición p
negación de una
proposición cualquiera
“p” en forma p ~p
“compacta”, utilizando
una tabla.
V F
 A esta tabla se le llama
“tabla de certeza o tabla F V
de verdad de la
negación”
 Conjunción…”y”
La conjunción de dos proposiciones se forma
insertando la palabra “y” entre ellas.

 “Hoy es día de fiesta y amaneció lloviendo”

 “Me llamo Rosmary y soy Psicopedagoga”
 “ Te llamas Carmen y eres técnico en Artes de
Fuego”
 Conjunción…”y”
 Si p y q son  Ejemplos:
proposiciones, se p: Hoy es martes
llama conjunción de p q: La luna es cuadrada
y q a la proposición
compuesta “p y q “ y r: mañana es miércoles
se denota por:
pq p  q :Hoy es martes y la
luna es cuadrada
p  r :Hoy es martes y
mañana es miércoles
 Conjunción
 Para construir la p q pq
tabla de p  q,
debemos considerar V V V
las diferentes
alternativas de V F F
valores de verdad
para p y para q:
F V F
 ¿Cuáles son ?
▪ Ambas verdaderas
▪ una V y la otra F F F F
▪ ambas falsas
 Conjunción….”y”
 Se toman como “sinónimos” de la
conjunción:
▪ Además
▪ Pero
▪ Sin embargo
▪ Aunque
▪ También
▪ Aún
▪ A la vez
▪ No obstante
 Conjunción: p  q
▪ Luis estudia ,además de trabajar
▪ Luis estudió pero no aprobó
▪ Luis canta, sin embargo no baila
▪ Luis jugó futbol aunque estaba
lesionado
▪ Luis juega futbol , también José
▪ Luis salió, aún no llega
▪ Luis cocina a la vez que canta
▪ Luis viajará no obstante esté sin visa
▪ Luis canta, no baila.
 Conjunción: p  q
▪ No siempre “y” denota una
conjunción
▪ ……………………
Ejemplo:
Silvia y Nelly son hermanas

▪ Esta es una proposición (simple), en

donde el “y” permite establecer la
relación entre los sujetos.
 Disyunción débil….”o”
 La disyunción de dos proposiciones se forma
insertando la palabra “o” entre ellas.

 “Hoy es día de fiesta o amaneció lloviendo”

 “Me llamo Rosmary o soy Psicopedagoga”
 “ Te llamas Carmen o eres técnico en Artes
de Fuego”
 Disyunción débil
 Si p y q son p q pq
proposiciones,
se llama V V V
disyunción de p
V F V
y q a la
proposición
compuesta “p F V V
o q” y se
F F F
denota por:
pq
 Disyunción débil

p q pq
 Seré cantante o futbolista V V V
 p: Seré cantante V F V

 q: Seré futbolista F V V
F F F

Simbolización:
pq
 Disyunción fuerte

p  q La disyunción fuerte es verdadera

solo si ambas proposiciones tienen
V F V diferentes valores de verdad.

V V F
La disyunción fuerte es falsa solo si
F V V ambas proposiciones tienen
idénticos valores de verdad.
F F F
 Condicional/Implicación
 Si p y q son  Ejemplos:
proposiciones, se  Si no llueve
llama condicional de p (entonces) iremos a la
y q a la proposición playa
compuesta “si p,
 Si me gano la lotería
entonces q” y se
(entonces) me voy de
denota por:
viaje
p→q  Si no estudio
(entonces) no
aprobaré Lógica
 Condicional
 Veamos la tabla
del condicional: p q p→q
p→q V V V

 Conviene pensar en V F F
una “promesa” ..... Si
no llueve (entonces) F V V
iremos a la playa
F F V
 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
▪ p sólo si q
 Condicional
 El condicional es falso, p q p→q
sólo cuando el
V V V
antecedente es
verdadero y el V F F
consecuente es falso; F V V
es decir, cuando la F F V
“promesa” no se cumple.
 Bicondicional

p  q El bicondicional es verdadero solo

si ambas proposiciones poseen
V V
V
idénticos valores de verdad.
V F F

F V
El bicondicional es falso solo si
F
ambas proposiciones poseen
F V F diferentes valores de verdad.
 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 1 proposición
simple
 Construyamos la tabla de verdad para la
siguiente proposición :
 p(~pp)
 2 filas de posibilidades: p verdadero y p falso.

p ~p ~pp p(~pp)

V F V V

F V F V
 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 2
proposiciones simples
 Otra manera para (pq)(p~q)

p q (p  q)  (p  ~ q)
V V V F F F
V F F F V V
F V F F V F
F F F F V V
1 4 3 2
 Ejemplo con 3
proposiciones simples
p q r
V V V
V V F
 ¿Cuántas
posibilidades V F V
tendremos? 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 = 22 filas
 3 proposiciones simples 8 = 23 filas
 4 proposiciones simples
16= 24 filas
 ……razonando inductivamente……..
 n proposiciones simples
2 filas
n
 Formas de expresar un
condicional…….
 Si es caraqueño, es venezolano (p →q)
 Es venezolano, siempre que sea caraqueño
 Es venezolano si es caraqueño
 Es suficiente que sea caraqueño para que sea
venezolano
 Siempre y cuando sea caraqueño, será
venezolano.
 Es necesario que sea venezolano para ser
caraqueño
TODAS ESTAS EXPRESIONES SE
SIMBOLIZAN COMO: p →q
 Partes de un condicional

p →q

antecedente consecuente
Condición Condición
suficiente
necesaria
 TABLA RESUMEN
Conector Valor de Condición
verdad
 V Si ambos tienen igual valor de
verdad.
 V Si tienen valores diferentes de
verdad.
→ F Si el antecedente es verdadero y
el consecuente es falso
 F Si ambos son falsos

 V Si ambos son verdaderos

~ V Si la proposición es falsa.
 Experiencia

Ejemplo Nº1: Evaluar el siguiente esquema molecular:

(p  q)  (p → r)

Ejemplo Nº2 Si se conoce que: (q  r) → p es FALSA

Determinar el valor de verdad de: (r  p) → (p  r)
Ejemplo Nº3
p  ( p → q  r)
 p  ( p  q )   p

 ( p )   p
( p  q )  ( p  q )  ( q  p )
( p  q )  ( p  q )  ( q  p )
( p  q )  ( p  q )  ( q  p )
( p → q)  (q → r )
 p  ( q  r )   ( p  q )  ( p  r ) 

( p → q )  ( q → r )  → ( p → r )

 p  ( q  r )   ( p  q )  ( p  r ) 
• La característica tabular de una fórmula lógica es la
columna de valores de verdad debajo del operador de
mayor jerarquía. Esta columna puede presentar los
siguientes casos:

1. Cuando todos los valores de verdad son verdaderos, el

esquema es una TAUTOLOGÍA.

2. Cuando todos los valores de verdad son falsos, el

esquema es una CONTRADICCIÓN.

3. Cuando algunos valores de verdad son verdaderos y

otros falsos el esquema es una CONTINGENCIA.
Araujo Cajamarca, Raul 41
 Aprendizaje evidenciado

TRABAJO APLICATIVO:
Desarrollar los ejercicios de la guía de actividades.
ACTIVIDADES
1. Construye la tabla de verdad para cada una de los
siguiente esquemas moleculares, y determina si es:
tautología, contradicción o contingencia.
2. A continuación se presenta una serie de ejercicios en la
cual se especifica lo siguiente:
1. Si p es una proposición falsa, determinar el valor de verdad de:
{(𝑝 → ~𝑟)  [𝑟 → (~𝑞  𝑝)]} → (𝑝  𝑞)

2. Si ~[(𝑝 → ~ 𝑠)  ~ (𝑟  ~𝑠)] ⟶ ~(𝑞  𝑠) es Falsa. Determine los valores de

verdad de:
a) 𝑝 → 𝑞
b) 𝑟  𝑠
c) 𝑟  ~𝑠
d) (𝑝  ~𝑞) → 𝑟

3. Si [~(𝑝 → (~𝑠 → 𝑞))  ~(𝑟  ~𝑞)] es verdadera. Determine los valores de verdad
de:
a) (𝑟  𝑝) → (𝑞  𝑠)
b) 𝑟  𝑠
c) 𝑟  ~𝑞
4. Determinar el valor de verdad de la proposición molecular
[(𝑝  𝑞) → 𝑝] → (𝑟 → 𝑝) sabiendo que p es verdadera, q y r falsas.
Hallar su valor de verdad.

5. Si la proposición (𝑝 → 𝑞)  (𝑟 → 𝑠) es falsa, deduzca el valor de

verdad de los esquemas moleculares:
a) (𝑝  𝑞)  𝑝
b) (𝑝 → 𝑞) → [(𝑝  𝑞)  𝑞]
c) (𝑟  𝑞)  [(𝑞  𝑟)  𝑠]

6. Si p y r son dos proposiciones cualesquiera y q: “2 es número impar”, y

[(𝑟  𝑞) → (𝑟 → 𝑝)] Es de valor de verdad 0, cero, entonces el valor de
verdad de los siguientes esquemas moleculares es:
a) 𝑟 → (𝑝  𝑞)
b) [𝑟  (𝑝  𝑞)]  (𝑞  𝑝)

7. Si la proposición:
[(p  q) r]  (s → q), es falsa. Determine los valores de verdad de “p”, “q”,
“r” y “s”
8. Si la proposición: p → (q  r) es falsa y la proposición s es
verdadera. ¿Cuáles de las siguientes proposiciones son verdaderas?
I) ( 𝑝 → 𝑞)
II) 𝑠  (𝑝  𝑟)
III) (𝑝  𝑞)  𝑟
IV) (𝑝  𝑞) → 𝑟

9. Dadas las proposiciones p, q y r falsas, determine el valor de verdad de la

siguiente proposición compuesta:
(∼ p ∨ ∼q) Δ (∼ r → q)

10. Hallar el valor de verdad de las proposiciones p, q y r, si se sabe que es falsa la

siguiente proposición compuesta:
(p ∨ r) → ∼(∼ p ∧ q)

11. Halle el valor de verdad de las proposiciones p, q y r, si se sabe que la

siguiente proposición compuesta es falsa:
p ∧ ∼ [ ( r ↔ ∼ p) ∨ ∼ q ]
12. Halle el valor de verdad de las proposiciones p, q y r, si se sabe
que la siguiente proposición es verdadera:
(∼p∨q)∨(∼r→∼p)

13. Suponga que p y r son falsas y q es verdadera. Halle el valor de verdad de las
siguientes proposiciones:
a. (∼ p ∧ ∼ q ) → ( p ∧ ∼ r )
b. ( p → ∼ q ) →( ∼ p ∧ ∼ r )
c. ( p → ∼ q ) ∧ ( p → r )

14. Si (∼ p ∧ ∼ q ) es verdadera, halle el valor de verdad de:

[( p ∨ ∼ q ) → (∼ p ∨ q )]

15. Halle el valor de verdad de las proposiciones p, q, r y s, sabiendo que:

a. [(r ∨ p) ∧ ∼ q ] → p es falsa
b. (s ∧ p) ∨ [(p → q) ∨ ∼ r] es falsa

16. ¿Se puede afirmar que la proposición [(∼ p ∨ ∼ q ) ∧ p] → ∼q siempre es

verdadera?
Referencias