"El ve rd ade ro via je de des c ub rimie nt o no cons iste

e n b us ca r n u ev o s te r r it o r ios, s in o e n te n e r n ue v os o jo s."

- M a rc e l P r o us t -

2. LÓGICA Y LENGUAJE:
PROPOSICIONES Y CONECTIVOS LOGICOS

2.1. Proposiciones simples

En la lógica simbólica, cada uno de los conceptos se define de manera estricta; no debe quedar
lugar a dudas o imprecisiones en su significado. Nada se da por supuesto. Por ejemplo, en el
lenguaje ordinario un enunciado u oración se puede definir como “una palabra o un grupo de
palabras, que declara, pregunta, ordena, solicita o exclama algo; unidad convencional del habla o
escritura coherente, que normalmente tiene un sujeto y un predicado, que empieza con mayúscula y
termina con un punto”.

Sin embargo en la lógica simbólica una oración tiene un significado mucho más limitado y se llama
proposición.

En el capítulo anterior establecimos que una proposición era un enunciado para el cual hay un
criterio que permite establecer de manera única y no ambigua si es verdadero o falso.

En otras palabras, una proposición es un enunciado al cual se le puede asociar uno de los
conceptos “verdadero” o “falso”, pero no ambos.

Las características esenciales en esta definición las podemos expresar con estos dos principios:

Principio del tercero excluido: Cada proposición es o verdadera o falsa.

Principio de no contradicción: Ninguna proposición es a la vez verdadera y falsa.

Si el enunciado es una pregunta o una orden , si es demasiado imprecisa o si carece de sentido, no

se podrá clasificar como verdadera o falsa y por tanto no se llamaría proposición.

Tomando en cuenta la definición dada, rellena la siguiente tabla:

Enunciado ¿Es proposición?

3+6 = 7
No me dejes con este dolor
La luna es cuadrada
¿Llegaste a tiempo?
Evelyn cursa el octavo semestre de Psicología
Hoy es viernes
Prohibido prohibir
La materia es un estado transitorio de energía
Esta frase es falsa

2.2. Conectivos Lógicos y Proposiciones compuestas:

En el lenguaje corriente se pueden enlazar proposiciones simples para formar otras más
complejas. Para traducir del lenguaje común al simbólico, se establece una especie de “taquigrafía
notacional”.

Lógica FBMM02- Escuela de Matemática- UNIMET 11

En esta “taquigrafía”, se denotan las proposiciones simples con letras minúsculas tales como
p,q,r,s,,.... y luego se definen ciertos conectivos.
Conectando varias proposiciones simples, se obtienen las llamadas proposiciones
compuestas

Veamos un ejemplo:

Si decimos “Hoy es un día tormentoso y hace calor”, podemos descomponer este enunciado en
dos proposiciones simples, de la siguiente manera:
p: Hoy es un día tormentoso
q: Hoy hace calor
Al conectarlas con la conjunción “y” estamos formando una nueva proposición. En lógica, esta
conjunción también tiene un símbolo y es : ∧
La simbolización de la proposición inicial sería entonces: p ∧ q

Una proposición compuesta se forma enlazando proposiciones simples con conectivos.

Los conectivos que abordaremos inicialmente en este curso serán:

conectivo nombre símbolo

y conjunción ∧
o disyunción ∨
no negación ~
Si...entonces condicional →

Ya sabemos que el valor de certeza de una proposición simple puede ser verdadero (V) o falso
(F).

El valor de certeza de una proposición compuesta dependerá de los valores de certeza de las
proposiciones simples que la componen y lo veremos a continuación.

2.3. Tablas de certeza o tablas de verdad para los conectivos lógicos

Tabla de verdad para la negación:

Dada la proposición p consideremos los posibilidades para la validación de la
proposición ~ p p ~p
Si p es verdadera, su negación será falsa y si p es falsa, su negación será verdadera. V F
Esto lo podemos resumir con la siguiente tabla: F V

Ej: Si p es “Nos atacan desde el país vecino”

La negación de p será:” No nos atacan desde el país vecino” y se simbolizará por ~ p

Ej: Si r es “Hoy es martes ”

La negación de r será: “Hoy no es martes” y se simbolizará por ~ r
En este ejemplo ¿Pudiésemos también negar r con la proposición “Hoy es jueves ”?

Tabla de verdad para la conjunción:

Dadas las proposiciones p , q , consideremos los posibilidades para la validación de la

proposición compuesta p ∧q:

Opción 1: p verdadera
q verdadera
Opción 2: p verdadera
q falsa

Lógica FBMM02- Escuela de Matemática- UNIMET 12

Opción 3: p falsa
q verdadera
Opción 4: p falsa
p q
q falsa
V V
Estas opciones las podemos esquematizar en una tabla como se muestra a continuación: V F
F V
F F

p q p ∧q
V V V
Para obtener los valores de certeza de la conjunción p ∧ q, V F F
completaríamos la tabla anterior de la siguiente manera:
F V F
F F F

Esta tabla se llama “Tabla de verdad o tabla de certeza” para la conjunción de dos
proposiciones

La conjunción de dos proposiciones p, q es otra proposición denotada por p ∧q, la cual es

cierta, si y sólo si p y q son ciertas.

A l cá lcu l o pr o po s ic io na l de la l óg ica s imb ó l ica no le i ntere sa e l co nte n ido

e spec í f ico de l as pr o po si c io ne s, si n o l a veracidad o no de la s pr oposic io ne s,
e n f u nci ó n d e l a ver a c id a d o n o d e las p r o p os ic i on e s q u e l a c o n f orm a n.
L a f u e r za d e l a ló g ic a pro p o s ic i o na l r a d i c a e n q u e n o s e d e ja n i n g ú n s ig n if ic a d o
a l a za r o a la int e r pr e t a c i ó n i nd i v id u a l. S i n e m bar g o, p a r a d e f i n ir l os va lo r e s d e
certeza correspondientes a las pr oposic ione s c om pue sta s y los conect ivos ,
t r ata re m os d e a jus t ar n os a l us o c om ún .

Se toman como “sinónimos” de la conjunción:

Además
Pero
Sin embargo
Aunque
También
Aún
A la vez
No obstante
Ejercicio:
Construye al menos cinco proposiciones en castellano equivalentes a cada una de las que se dan a
continuación:
a. Pedro canta además de bailar
b. Estoy satisfecha por tu actuación , pero no totalmente feliz
c. Aunque quieras ir, no lo harás
d. Estudio a la vez que oigo música

Lógica FBMM02- Escuela de Matemática- UNIMET 13

Tabla de verdad para la disyunción:
Dadas las proposiciones p , q , consideremos los posibilidades para la veracidad de la proposición
compuesta p ∨ q:

Para obtener los valores de certeza de la disyunción p ∨ q, completaríamos la tabla de la siguiente

manera:

p q p∨q
V V V
V F V
F V V
F F F

La disyunción de dos proposiciones será falsa, sólo en el caso en que ambas proposiciones sean
falsas.

Tabla de verdad para el condicional:

Dadas las proposiciones p , q , se denota por p →q y se lee “si p entonces q”, al condicional de
dos proposiciones
A p se le da el nombre de antecedente y q es el consecuente.
También se dice que p es condición suficiente para (que ocurra) q o que q es condición
necesaria para p.

Para obtener los valores de certeza del condicional p →q, conviene pensar en el condicional
como una “promesa”.

Dada la siguiente proposición :“Si apruebas el semestre con índice mayor a 4.5 entonces te
regalaré un I-pod ”
Podemos establecer que p es : apruebas el semestre con índice mayor a 4.5 y q: te regalaré un
I-pod; observamos que la “promesa “ no se cumple en el caso en que apruebes el semestre con un
índice mayor a 4.5 y no te regale el i-pod ; es decir p verdadero y q falso.
Sólo en este caso , el enunciado ” Si apruebas el semestre con índice mayor a 4.5 entonces te
regalaré un I-pod ”es falso ( ¡no se cumplió la promesa!)

La tabla de verdad del condicional viene dada por:

p q p→q
V V V
V F F
F V V
F F V

Así pues, podemos definir el condicional como otra proposición que sólo será falsa cuando el
antecedente sea verdadero y el consecuente falso.

Lo que sigue, es IMPORTANTE para la simbolización.

Muchas veces nos encontraremos con proposiciones condicionales, que están redactadas o
enunciadas de manera que no aparece primero el “si” del condicional. Lo importante es detectar
cual es la consecuencia.

Veamos un ejemplo:

Lógica FBMM02- Escuela de Matemática- UNIMET 14

 Dado el condicional “Si gano la lotería entonces te regalaré 10.000 dólares”, lo podríamos
enunciar también como:

Que gane la lotería , implica que te regalaré 10.000 dólares (p implica q )

Te daré 10.000 dólares si gano la lotería. (q si p)
Para darte 10.000 dólares es suficiente que gane la lotería. (p es suficiente para q)
Es necesario haberte regalado 10000 dólares para que me haya ganado la lotería
(q es necesario para p)
Te daré 10.000 dólares cuando gane la lotería (q cuando p)
Te daré 10.000 dólares siempre que gane la lotería (q siempre que p)
Me habré ganado la lotería sólo si te regalo 10000 dólares (p sólo si q)
Te regalé 10000 dólares porque me gané la lotería (q porque p)
Te daré 10.000 dólares a menos que no gane la lotería. (q a menos que no p)

(En todos los casos tenemos p: “gano la lotería” y q: “ te regalo 10.000 dólares”)

Ejercicio:

Encuentra al menos cinco expresiones equivalentes en castellano para los siguientes

condicionales:
a. Si como mucho pan , engordo
b. Si no estudio al menos 5 horas diarias , no lograré aprobar este curso.
c. Si abres la boca, tendrás problemas
d. Soy feliz cuando canto
e. A menos que me paguen, no podré comprar las entradas del Show de Olga Tañón

2.4. Tautologías y Contradicciones

Definimos tautología a una proposición compuesta que es siempre verdadera , cualesquiera que
sean los valores de verdad de las proposiciones que la conforman. (La ta bla de ve rd ad de una
t a ut olo g ía cont ie ne ex cl us iva me nte el val o r V ).
Por convención denotaremos una tautología como V0.

Definimos contradicción a una proposición compuesta que es siempre falsa, cualesquiera que
sean los valores de verdad de las proposiciones que la conforman. (La tabla de ve rd ad de una
c o n t rad i c c ió n c o nt ie n e e x clu s i va me n t e e l v a l o r F ).
Por convención denotaremos una contradicción como F0.

Ejercicios :
1. Tomando en cuenta las definiciones anteriores , decide cuáles de las siguientes
proposiciones compuestas son tautologías, cuales contradicciones y cuales proposiciones
cualesquiera.
a) p ∨ ∼q
b) q ∨ ∼q
c) ∼(r ∨ q)
d) (p ∧∼p)
e) ∼(p∧q) ∨ ∼q
f) ∼[(~p ∧∼q) ∧ p ].
g) ∼[(p ∧∼q) ∧ ∼ p ].
h) p→ p

Lógica FBMM02- Escuela de Matemática- UNIMET 15

2.

2.5. Proposiciones equivalentes

Definiremos como proposiciones equivalentes a aquellas que tienen la misma tabla de

verdad.

A continuación daremos una serie de proposiciones equivalentes que además tienen un nombre
que las particulariza e identifica. (Más adelante las utilizaremos para validar argumentos).

Se deja como ejercicio comprobar la equivalencia de las mismas; para ello, hay que elaborar sus
tablas de verdad y verificar que éstas son idénticas.

Proposición Equivalente a Nombre de la equivalencia

p∧p p Idempotencia de la conjunción
p∨p p Idempotencia de la disyunción
p ~ ~p Ley de la doble negación
p ∧ V0 p Ley del neutro para la conjunción
p ∨ F0 p Ley del neutro para la disyunción
p ∧ ~p F0 Ley de la contradicción
p ∨ ~p V0 Ley de la tautología
p∧q q∧p Ley conmutativa para la conjunción
p∨q q∨p Ley conmutativa para la disyunción
(p ∧ q) ∧ r p ∧ ( q ∧ r) Ley asociativa para la conjunción
(p ∨ q) ∨ r p ∨ ( q ∨ r) Ley asociativa para la disyunción
p ∧ ( q ∨ r) (p ∧ q) ∨ (p ∧ r) Ley distributiva del ∧ respecto al ∨
p ∨ ( q ∧ r) (p ∨ q) ∧ (p ∨ r) Ley distributiva del ∨ respecto al ∧
~ (p ∧ q) ~p ∨ ~q Ley de De Morgan (negación de una conjunción)
~ (p ∨ q) ~p ∧ ~q Ley de De Morgan (negación de una disyunción)

Como ejercicio, pueden probar (verificando a través de las tablas de verdad) que en efecto estas
proposiciones son equivalentes.

2.6. Formas derivadas de un condicional.

Existen otras proposiciones condicionales relacionadas con el condicional p € q que definimos a

continuación :

Dado el condicional p € q , se definen:

El recíproco de p € q q€p
El inverso o contrario de p € q ~p € ~q
El contrarrecíproco de p € q ~q € ~p

Ejemplo:
Dado el condicional “Si quebrantamos la ley, entonces vamos a la cárcel “, veamos cuales serían
las formas derivadas:

El recíproco (q € p) : Si vamos a la cárcel, entonces quebrantamos la ley

Lógica FBMM02- Escuela de Matemática- UNIMET 16

El inverso o contrario ( ~p € ~q) : Si no quebrantamos la ley, entonces no vamos a la cárcel
El contrarrecíproco : ~q € ~p : Si no vamos a la cárcel, entonces no quebrantamos la ley

p€ q q€p

~p €~ q ~q €~ p

En las flechas horizontales cada proposición es recíproca de la otra.

En las verticales, cada proposición es contraria (inversa) de la otra y en
la diagonales, cada proposición es contrarrecíproca de la otra.

Construyamos la tabla de verdad para estas formas derivadas:

Directo Recíproco Contrario Contrarrecíproco

p q p€q q€p ~p € ~q ~q € ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V

Observando esta tabla, trate de obtener alguna conclusión (referida a equivalencia de proposiciones)

2.7. Formas equivalentes del condicional y de la negación del condicional

A continuación se propone una actividad que será de utilidad (eso esperamos ☺ ) para establecer
las equivalencias del condicional y de su negación.

Actividad 1:
a. En la tabla siguiente se dan una serie de proposiciones en la columna izquierda que vamos
a asumir verdaderas.En la columna derecha de la tabla, complete con otra proposición en
castellano, de manera que la proposición dada sea falsa.

Proposición Es falso si…..

Si como muchos carbohidratos, engordo
Cuando me gane la lotería, te regalaré el viaje a
los Roques
Iré a la playa cuando escampe
Es suficiente que tengas más de 18 años para
que puedas votar
Cuando medito, logro la paz interior
No seguiré las órdenes si van en contra de mis
principios
Si inscribes más de 24 créditos, tendrás
dificultades con los horarios

b. Ahora observe la “estructura “ de las proposiciones en ambas columnas. ¿Pudiera

elaborar una conjetura?

Lógica FBMM02- Escuela de Matemática- UNIMET 17

 c. Para conseguir esta conjetura ha razonado en forma __________________

d. ¿Cree que puede verificar su conjetura?

e. Explique y escriba todo el proceso que ha seguido.

Actividad 2:

Escriba como condicionales (siempre que sea posible) las siguientes disyunciones.
1. Apagas la TV o no podremos conversar
2. Arreglas tu cuarto o no habrá paseo
3. Comes todos los días ensalada o no crecerás
4. Haces los 30 ejercicios sugeridos o no aprobarás

a. ¿Pudiera elaborar una conjetura?

b. Para conseguir esta conjetura ha razonado en forma _______________

c. ¿Cree que puede verificar su conjetura?

d. Explique y escriba todo el proceso que ha seguido.

Una vez verificado y discutido en clase el resultado de estas dos actividades, complete en la tabla de
equivalencia de la página 16, las dos filas en blanco.

Lógica FBMM02- Escuela de Matemática- UNIMET 18

 Ejercicios varios:

1. Decide si cada una de los enunciados siguientes es o no una proposición.

a. EL 12 de octubre de 1949 fue miércoles.

b. Tenga un feliz día.
c. Levántese y pase a que lo cuenten.
d. 8+15=23.
e. No todos los números son positivos.
f. Desde 1950, más personas han muerto en accidentes automovilísticos que de
cáncer.
g. Ve y búscale una silla.
h. Iván cumple años en abril.
i. ¡Qué felicidad!
j. ¿Te gusta la comida árabe?

2. Representa con p a la proposición “ Ella tiene ojos azules ” y con q a “ El tiene 43

años de edad”
Traduce al lenguaje común las siguientes proposiciones compuestas:
a.- p ∧ ~ q b.- ~p∨~q
c.- ~ p ∧ ~ q d.- ~ (p ∧ q) e.- ~ (p ∨ ~ q)

3. Simbolizar las proposiciones compuestas que se dan a continuación:

a. Ana estudia o trabaja

b. Eduardo y Carlos prometen mucho
c. Ni María ni Elena cumplirán su promesa
d. No es cierto que trabajé
e. No es cierto que no trabajé
f. No sucede que no sea cierto que no trabajé
g. Eduardo y Carlos prometen mucho, pero ni Eduardo ni Carlos
cumplirán
h. Eduardo y Carlos prometen mucho y Eduardo no cumplirá pero Carlos
si lo hará.
i. Ana estudia, además trabaja, se divierte y está contenta
j. Ana estudia y trabaja, además se divierte y está contenta

4. Decidir en cuales casos son falsas las proposiciones anteriores.

5. Construye en castellano argumentos que tengan las siguientes estructuras.

Premisa 1: p →q Premisa 1: p →∼ q Premisa 1: ∼ p →( q ∧ r ) Premisa 1: p → q

Premisa 2: p ∧ ∼ r Premisa 2: p ∧ r Premisa 2: ∼ q ∨ ∼ r Premisa 2: q→ ∼ r
Conclusión : q ∧ ∼ r Conclusión : ∼ q ∧ r Conclusión : p Conclusión : p→∼ r

Lógica FBMM02- Escuela de Matemática- UNIMET 19

 6. Para los siguientes argumentos se pide:

Identificar las premisas y la conclusión

Simbolizar cada una de las premisas y la conclusión

a . P a ra q ue val g a l a p e na t o ma r e l c u rs o d e L ó g i c a , e s s uf i c i e nte q u e e l p r ofe s o r s e a

c a p a z . S i l a s c a l if i ca c i o ne s s o n j u s t a s e nt onces no va le la pena toma r el curs o de
l óg i ca. Pe ro res ul ta q ue las c al if i ca c i o nes s o n justa s y po r t a nt o, el p ro fes o r n o e s
ca paz.

b . J ua n t o ma el a utobús o el tre n. Si él toma el a ut ob ús o maneja s u p rop io a ut o,

e ntonces lle ga tarde y f alta a la prime ra ses ió n. No lleg ó ta rde. En co n se c ue n c ia, no
t o mó el t re n.

c . La Vino-t into no es ta rá e n l a f i nal po rque Leopoldo Jimé ne z no es un jugador

es t rell a. Violet a ama a la Vino-t int o o Leopoldo Jiménez es un Jugador es t rell a.
Viole ta no ama a l a Vino-t int o. Por l o t a nt o, l a Vino-Tint o no es ta rá e n l as
f i nal es.

d . S i presto ate nción al profes or de l ó gica, me aburro. S i no l o h ago, me aplaz a . De

mod o que, me a b urro o me apl aza.

e . Luis ama a Ro sa o de lo contrari o no la hubiera perd onado nunca. No es el caso que

L u is a me a l a v e z a A na y a Ros a. P o r ta n to, s i L ui s h a pe r do n ad o a Ros a, n o ama
a A na.

f. S i l a gue rra es inmine nt e, ent o nces el e jé rcit o ha s ido moviliz ado. S i el ej é rcito ha
s id o m o v il iz ad o, e nt on c e s e l e n e mi go a ta ca r á. La gue rra es inmine nte y no obst ante, el
e ne m ig o n o ata c a rá. Po r con s ig u ie n te, si la g ue r r a e s inm i n e nte y el e ne m ig o n o
a ta ca r á, n os otro s s o m os l os a g res o re s .

7. Escribe la tabla de verdad para las siguientes proposiciones. Se presenta un ejemplo

resuelto:
La tabla de verdad de (p € q) € [ (p ∨ q) €q] es:

p q (p € q) (p ∨ q) (p ∨ q) €q (p € q) € [ (p ∨ q) €q]
V V V V V V
V F F V F V
F V V V V V
F F V F V V

Hacer lo mismo para las siguientes proposiciones.

a. p € ( ~ p €p)
b. (p ∧ q) ∧ [ p €( ~q)]
c. (p € p) €[ q€( ~q)]
d. ~ p €[ ~ (p ∧ q )]
e. [(p € q) € r ] € [(p € q) €r ]
f. (p ∨ q) €[p ∨ (~ p ∧ q)]

Lógica FBMM02- Escuela de Matemática- UNIMET 20

 8. Junto a cada proposición escrita a continuación, se puso el nombre del conectivo
dominante. Añade los paréntesis necesarios.
a. Conjunción: r ∧ p€q
b. Disyunción: r ∨ q€t
c. Condicional: p€ r ∨ q
d. Condicional: p ∧ q € t
e. Disyunción: q€ r ∨ ~s
f. Negación: ~ p€ r
g. Condicional: r ∧ p € q
h. Condicional: r ∨ q € t
i. Disyunción: p € r ∨ q
j. Conjunción: p ∧ q € t
k. Negación de una disyunción : ~ s €r ∨ ~p
l. Negación de un condicional : ~ s € r ∨ ~p
m. Disyunción: ~p€ r ∨ ~s

9. ¿Qué valores de certeza deben asignarse a “p” y a “q” para que las siguientes
proposiciones sean falsas? ¿Hay más de una posibilidad en cada caso?
a. p∨ ~q
b. ~(p ∧ q)
c. ~ ~p
d. ~(p ∧ ~q)
e. ~ p€ ~q

10. Sean:

p: Sigo la dieta macrobiótica

q:Hago Pilates
r: Me siento en plena forma

Se pide traducir al castellano:

a. ~ p ∨ q
b. p∨ ~ q
c. ~ (p ∧ q)
d. ~ p ∧ q
e. ~ p ∨ ~q
f. ~~ p
g. ~ (~p ∨ ~q)
h. ~ (p ∧~q)
i. (~ p ∨~ q )→ ~r
j. ~r → (~ p∨ ~ q)
k. r → (p∧ q)
l. (~ p ∧~ q )→ ~r
m. ~ (p ∧q )→ ~r
n. ~ (p ∨ q )→ ~r

11. Escribe la tabla de verdad de las proposiciones anteriores. Compáralas ¿Cuáles tienen
la misma tabla de verdad? Indica las proposiciones que niegan otras.
Lógica FBMM02- Escuela de Matemática- UNIMET 21
 12. Consideremos la proposición ( p∨q ) ∧ (r ∨ p ), en donde:
p: “estamos en buena situación económica”
q: necesitamos un crédito”
r: “tenemos el proyecto aprobado”
a) Escribe en castellano la proposición compuesta dada
b) Suponiendo que p sea falsa y q y r verdaderas, indica el valor de verdad de la
proposición compuesta considerada.
c) Indica al menos dos casos en que la proposición sea falsa.

13. Para cada una de las siguientes proposiciones compuestas suponer: p verdadero, q y
r falsas.

Encuentra el valor de verdad de :

a. ( ~ p ∧q ) ∨ ( r ∧ ~ q )
b. ~ p ∧ ( q∨ ~ r)
c. (r∧p ) ∨ ( q ∧p)
d. ( ~ p ∧p) ∨ p
e. ~ r ∧ ( q∨ ~ q )
f. ~r → (~ p∨ ~ q)
g. r → (p∧ q)
h. (~ p ∧~ q )→ ~r
i. ~ (p ∧q )→ ~r
j. ~ (p ∨ q )→ ~r

14. ¿ Cúantas filas tiene la tabla de verdad correspondiente a una proposición simple?
15. ¿ Cúantas filas tiene la tabla de verdad de una proposición compuesta con dos
proposiciones simples?
16. .¿Cúantas filas tiene la tabla de verdad de una proposición compuesta con tres
proposiciones simples?
17. ¿ Cúantas filas tiene la tabla de verdad de una proposición compuesta con cuatro
proposiciones simples?
18. ¿Cúantas filas tiene la tabla de verdad de una proposición compuesta con n
proposiciones simples?n¿Qué tipo de razonamiento estás usando para responder esta
pregunta?

19. Traduce los siguientes enunciados a la forma “si- entonces” ( en castellano) y luego a
la forma simbólica. Asegúrate de indicar los literales que utilices para cada
proposición simple.

Ejemplo:
Tendrás éxito si aprecias la opinión de los demás.
p: A p re cias la op inión de l os de má s
q : Te n d rá s é x i t o
Si aprecias la opinión de los demás entonces tendrás éxito.
Forma simbólica de la proposición dada: p € q
a. Iré el sábado si me pagan.
b. La grama se moja cuando llueve o cuando la riegan
c. Juan es razonable sólo si conoce todos los hechos.
d. Soy un mal ejemplo, por tanto no soy un completo inútil (Les Luthiers)
e. No me interesa esta situación, porque no comparto las ideas de la mayoría
Lógica FBMM02- Escuela de Matemática- UNIMET 22
 f. Como no llegaste a tiempo, decidí salir sin ti
g. Iremos a la playa , a menos que llueva
h. Si no eres parte de la solución , eres parte del problema
i. "Usted puede tener poder sobre las personas mientras no haya tomado todo de ellas.
j. No me dejes caer en el orgullo si triunfo, ni en la desesperación si fracaso (M.
Gandhi)
k. Si yo faltara a la gente, quisiera valor para disculparme y si la gente faltara conmigo
quisiera valor para perdonar. (M. Gandhi)
l. Nuestros descendientes no sobrevivirán a menos que detengamos la contaminación
ambiental
m. Venezuela tiene bellas mujeres, dado que varias de ellas han ganado concursos
internacionales de belleza.
n. Si el volcán entra en erupción y decides permanecer en el lugar, te arriesgas a morir.
o. Las abejas y las avispas atacan cuando están enojadas
p. Tendrás éxito en la competencia a menos que no entrenes lo suficiente

20. Definimos el bicondicional como una proposición compuesta que se simboliza

como p ↔ q y que es equivalente a : ( p → q) ∧ (q → p ). Construir su tabla de
certeza.
21. La negación del bicondicional , se denomina diferencia simétrica (“o”
excluyente). Lo denotamos como ∨ . Pruebe que la diferencia simétrica de dos
proposiciones p∨ q es equivalente a (p∨ q ) ∧ ∼(p ∧ q).

22. Examinando la veracidad de la proposiciones simples, determina el valor de verdad de

cada una de las siguientes proposiciones compuestas .

a. Si 7+9 = 16, entonces 16-9= 7

b. Si (-2)(-3) =- 6 entonces (2) (3)= -6
c. Pablo Picasso tiene 20 años sólo si tu eres millonario
d. 15+ 3 =18, si 72 – ( -10)=82.
e. 3 x 5=15, si 58 –(-8) =50
23. Dadas las siguientes proposiciones:
p:Me gustan las matemáticas.
q: Me gusta esta guía
Traduce cada una de las siguientes proposiciones al lenguaje común.
a. p€q
b. ~p∨q
c. ~ q €(~ p)
d. [ p ∨ (~ p)] € q
e. ~p€q

24. Negar las siguientes proposiciones compuestas:

a. p∧ ( ~ q )
b. ~ (p ∧ q )
c. ~p∨ q
d. (r ∧ s) ∨ (~ s)
e. ~r∨~s
f. (p ∨ q) ∨ (p ∧ q)

Lógica FBMM02- Escuela de Matemática- UNIMET 23

 25. Escribe la negación, el recíproco, el inverso y el contrarrecíproco de cada una de las
proposiciones siguientes:
Si p, entonces q.
~ p € (~ q )
El sol brilla sólo si estás feliz.
Si tu automóvil no tiene aire acondicionado, no tendrás amigos.
Iré el sábado, si me pagan.
Si los deseos fueran caballos, entonces los mendigos cabalgarán.
Si te cepillas los dientes con el dentífrico Sonrisas, tendrás entonces menos caries.
Tus nietos no sobrevivirán si no detenemos la contaminación del ambiente.

26. Estas instrucciones aparecen en un formulario:

“Ll ene y p res ente es te cues t iona rio a s u j efe inme d iat o, s i lle nó l a e ncues ta F -16 o s i no
h a p a rt i ci pa do e n l a c o m is i ón P l a n 0 07 K”

Exprese en la forma “Si... entonces” la instrucción anterior y simbolícela

27. Encuentra al menos dos proposiciones equivalentes para las dadas a continuación.
Justifica tu respuesta.

a.- p∧~q b.- ~ p ∨ ~ q c.- ~ p ∧ ~ q

d.- ~ (p ∧ q) e.- ~ (p ∨ ~ q) f.- (p € ~ q ) g.- (p ∧ ~ q )€ ~ s

h.- (r ∧ p)€q i.- ((p ∧ q) €t ) ∨ q

28. Niega los siguientes condicionales:

• (r ∧ p)€q……… respuesta : ~ [(r ∧ p)€q] ≡ (r ∧ p) ∧ ~ q

• (r∨ q)€t
• p€(r∨q) ……… respuesta : ~ [p€(r∨q)] ≡ p ∧ ~(r ∨ q) ≡ p ∧ (~r ∧~q)
• (p ∧ q) €t
• ~p€r

• (~ p €r) € ( ~ p∨ q )

29. Prueba que : ( p €q) € ( ~ p∨ q ) es una tautología

30. Expresa sólo con conjunciones o disyunciones:

a) (p∧q) €(t∨ r)
b) ( p € q) € ( ~ r ∨ s )

31. Escribe el recíproco, el inverso o contrario y el contrarrecípoco de los siguientes

condicionales:.
a. (p ∧ q) €t

Lógica FBMM02- Escuela de Matemática- UNIMET 24

 b. Podrás presentar el examen , siempre y cuando traigas el certificado de
inscripción
c. (~ p €r) € ( ~ p∨ q )
d. Tus nietos no sobrevivirán si no detenemos la contaminación del ambiente.
e. Si Pedro recibe el mensaje, vendrá, aunque no le interese el asunto a tratar
f. Si presto atención al profesor de lógica, disfrutaré de la clase.
g. ( p € q) € ( ~ r ∨ s )
h. p € ( q € ( ~ r ∨ s ))
i. (( p € q) € ~ r) ∨ s

32. Construye una proposición compuesta cuyo valor de verdad sea falso con las
siguientes restricciones:
a. Que contenga cinco proposiciones simples
b. Con dos de las proposiciones simples verdaderas y tres falsas
c. Cuyo conectivo dominante sea un condicional
d. Que contenga al menos un conjunción, al menos una disyunción y
exactamente una negación

33. Construye una proposición compuesta cuyo valor de verdad sea falso con las
siguientes restricciones:

a. Que contenga cinco proposiciones simples

b. Con dos de las proposiciones simples verdaderas y tres falsas
c. Cuyo conectivo dominante sea una conjunción
d. Que contenga exactamente dos condicionales
e. Que contenga exactamente dos disyunciones

34. Demostrar las siguientes equivalencias sin utilizar tablas de certeza.. Debe justificarse
cada paso de la demostración:
a. ( p∧ q) → r ≡( p∧ ∼ r ) → ∼ q
b. ∼[ (p∨q) → (s∧ ∼ t) ] ≡ (∼ s ∨ t ) ∧ (p∨q)
c. q→ (∼r ∧ t ) ≡ (∼r ∨ ∼q) ∧ ( t ∨ ∼q)
d. ( p∧ q ) → r ≡ ( p ∧ ∼r ) → ∼ q
e. (p ∧ ~ q ) ∧ s ≡ s ∧ ~ (p → q)

35. Encuentra al menos tres proposiciones equivalentes y diferentes para las

proposiciones dadas a continuación. Justifica tu respuesta.
a. ( p € ~ q) ∧ (~ s ∨ ∼t)
b. (~p ∧ q ) → (r ∨ ∼t)
c. ~ ( p € ~ q) ∧ (~ s ∨ ∼t)
d. ~ [(~p ∧ q ) → (r ∨ ∼t)]

36. La verdad de una proposición puede asociarse al paso de corriente en un circuito

eléctrico con un interruptor.

Así, para representar a p, si es F, se tiene: p (no pasa la corriente)

y para p, si es V, se tiene: p (si pasa la corriente)

Es decir, el interruptor se cierra si p es V y se abre si p es F.

Lógica FBMM02- Escuela de Matemática- UNIMET 25

¿Qué representaría el siguiente circuito? ¿Bajo cuáles condiciones pasaría la corriente?

¿Y este circuito en paralelo?¿ A cuál de los conectivos vistos representa?

¿Puedes escribir la proposición compuesta representada por los siguientes circuitos?

Lógica FBMM02- Escuela de Matemática- UNIMET 26