FICHA DE TRABAJO

Apellidos y Nombres: (Letras mayúsculas)

Sección: 5 Fecha

LOGICA PROPOSICIONAL -II

p : La luna es de queso.
CONECTIVOS LOGICOS ~p : La luna no es de queso.
Se denominan conectivos lógicos a
aquellas palabras o términos funcionales Su tabla de verdad es como sigue:
que ligan, juntan, unen o enlazan las
proposiciones simples formando p ~p
proposiciones compuestas. Los operadores V F
o conectores básicos son: F V

CONECTIVO SÍMBOLO NOMBRE DE LA

PROPOSICIÓN 2. Conjunción: Dadas las proposiciones
No ~ Negación “p”, “q”. La conjunción es el resultado
Y ^ Conjunción de unir estas proposiciones con el
o  Disyuntiva inclusiva conectivo lógico “y”. Se denota con el
o. . . o. . .  Disyuntiva exclusiva símbolo: “  ”, “ se escribe “p  q”, y se
Si… entonces...  Condicional lee: “p y q”. La proposición conjuntiva
…si y sólo si …  Bicondicional
es verdadera. Cuando las dos
proposiciones son verdaderas. En
nuestro lenguaje podemos emplear:
1. Negación (~):
Es un conectivo singular. No obstante
Se denomina proposición negativa Aunque
aquella que cambia el valor de la Más aún
proposición original. También
Se denota por: ~p, -p, p y se lee: “no Es compatible con
Así mismo
p”.
De la misma forma que
La negación, puede traducirse como:

Pero Aún cuando

Ejemplo:
Sin embargo Al igual que
Además Tanto …. como …. Consideremos las siguientes proposiciones:
A la vez Siempre ambos…. con…..
Incluso No sólo….sino también…. p: “La camioneta enciende cuando tiene
Así como A pesar de
gasolina en el tanque”
Del mismo modo ….con …. los dos a la vez
q: “Tiene corriente la batería”
No es cierto que ... No acaece que...
De tal manera que la representación
Es falso que... Es inadmisible que…
del enunciado anterior usando
Nunca ... Es falaz que…
simbología lógica queda indicado
No ocurre que... Jamás ...
por:
Es mentira que ... Es inconcebible que...
p  q:
No es el caso que… Es imposible que ...
Es refutable que… Es erróneo que ...
“La camioneta enciende cuando tiene
Nadie que sea ... De ningún modo …
gasolina en el tanque y tiene
corriente la batería”
 Su tabla de verdad es como sigue:

p q p  q p q pq
V V V V V V
V F F V F V
F V F F V V
F F F F F F

3. Disyunción
3.2 Disyunción Exclusiva o Fuerte:
Se denota por:
Es una proposición compuesta formada por “p”
y por “q” relacionadas por el conectivo lógico “p  q”, “p V q”, “p q”, “p  q” y se lee:
“o”. Según el sentido del conectivo “o”, se “p o q” pero no ambos.
puede interpretar de dos maneras: inclusiva o
exclusiva. La disyunción exclusiva es verdadera sólo
cuando una de las proposiciones es
verdadera.
3.1 Disyunción Inclusiva o Débil
Ejemplo:
Se denota por “p  q” y se lee: “p o q”. La Consideremos:
disyunción inclusiva es falsa sólo en el caso
que ambas proporciones sean falsas. Se p: Viajo a España
conoce como la suma lógica. Otras formas q: Viajo a Brasil
de conexión que nos indican una
disyunción inclusiva son: De tal manera que la representación del
enunciado anterior usando simbología
A menos que O en todo caso
lógica queda indicado por:
Excepto que O también
Salvo que O incluso
p  q: “O viajo a España o viajo a Brasil”
A no ser que O bien
Y bien o también Al menos uno de los dos …. Por lo tanto, su tabla de verdad es:
o ….
O sino Alternativamente p q p q
V V F
Ejemplo: Consideremos: V F V
F V V
p: “La Universidad Señor de Sipán es privada” F F F
q: “La Universidad Señor de Sipán es estatal”
4. Condicional:
De tal manera que la representación del Proposición compuesta que resulta de la
enunciado anterior usando simbología lógica combinación de dos proposiciones simples, a
queda indicado por: través del conectivo: “Si ..., entonces ...” y su
símbolo es: “”, La notación “p q”, se lee “Si
“p  q: p, entonces q”; proposición “p” se llama
antecedente o hipótesis y la proposición “q” se
llama consecuente o conclusión. La manera de
“La Universidad Señor de Sipán es expresar la condicional en el orden
privada o en todo caso la Universidad antecedente- consecuente (“p q” Implicación
Señor de Sipán e peruana directa), son las siguientes:

Su tabla de verdad es como sigue:

-2-
 Si p, entonces q p por tanto q conectivo lógico “... si y sólo si ...”, cuyo símbolo
Siempre que p entonces q p por consiguiente q es: “”, “”, “”. La proposición compuesta se
p es suficiente para q p por ende q denota por: “p  q”, “p  q”, “p  q” y se lee: “p
p implica q p por conclusión q si y sólo si q”. La proposición bicondicional
Ya que p bien se ve que q Dado que p por eso q solamente es verdadera si tanto p como q son
En cuanto p por tanto q Porque p por eso q falsas o bien ambas verdaderas.
También se suele emplear expresiones como:

Puede también expresarse en el orden …siempre y cuando…

consecuente-antecedente (“q  p” Implicación …es equivalente a…
inversa), son: …es lo mismo que…
…cuando y sólo cuando…
q si p Solamente porque p, q
Si y sólo si p, q
q siempre que p q cada vez que p
…siempre que y sólo cuando…
q es necesario para p q se concluye de p
…es idéntico a…
Sólo si p, q Únicamente si p, q
Es suficiente para que suficiente sea
q dado que p q en vista que p
Es condición necesaria y suficiente para
q a condición de que p Sólo cuando p, q
…por lo cual y según lo cual…
q supone que p q ya que p
…cada vez que y sólo si…
q de modo que p q dado que p
…si de la forma…
q puesto que p q sigue de p
…implica y está implicado por…
q porque p q es implicada para p
Siempre que … y siempre que …

Ejemplo: Ejemplo: Consideremos:

consideremos:
p: “Los cuerpos chocan”
p: “Llueva” q: “Existe una fuerza que los atrae”
q: “Mejorarán las cosechas”
De tal manera que la representación del
De tal manera que la representación del enunciado anterior usando simbología lógica
enunciado anterior usando simbología lógica queda indicado por:
queda indicado por: p  q: “Los cuerpos chocan porque y solo
p q: “Siempre que llueva entonces mejoraran porque existe una fuerza que los atrae”.
las cosechas” Su tabla de verdad queda de la siguiente
q p: “Mejoraran las cosechas siempre que manera:
llueva”

Su tabla de verdad queda de la siguiente

manera: p q pq
V V V
V F F

p q p q F V F

V V V F F V
V F F
F V V
F F V
ACTIVIDADES DE CLASE
5. Bicondicional
Cuando dos proposiciones están unidas por el 1. Sean:
-3-
 p: Efraín está enfermo b) El condicional es falso si “p” es
q: Efraín tardará en curarse
_____________ y “q” es ______________
Expresa verbalmente las siguientes
proposiciones: c) La disyunción fuerte es falso si sus valores
de verdad son ________________ .
a) p  q :

_________________________________
4. Sabiendo que: p  (q  r) es Falsa.
Determina el valor de verdad de: p  (q  r)
b) p  q:
Rpta.: _________________________________
___________________________________
5. De la falsedad de la proposición:
___________________________________ (p  q)  (r  s)
Deduce el valor de verdad de los siguientes
esquemas moleculares:
c) (p):
a) (p  q)  q

___________________________________ Rpta. :______________________________

b) (r  q)  p  (q  r)  s

d) pq Rpta. :______________________________

c) (p  q)  (p  q)  q

Rpta. :______________________________
____________________________________

6. Determina el valor de verdad de cada una de

e) p  q:
___________________________________
___________________________________
las siguientes proposiciones lógicas:
p : 5  8  6  1  (1 ≤ 2 )
q : 2 3  (4  5  (2 ≤ 3))(2  3)
r : (a  b)  (a  b)

a) VVV
2. Simboliza: b) VFV
c) FVV
d) FFV
“Si Molina va a la fiesta entonces no estudiará
para su examen, pero no es el caso que vaya a e) FVF
la fiesta y apruebe sus cursos. De ahí que
7. Determina el valor de verdad da cada uno de
Molina estudia para su examen”.
los siguientes enunciados:
[(q => ~r) ^ ~(q ^ p)] => r
I. 2  4 es una proposición simple
Rpta.:_____________________________
II. 2x + 4 = 5 es una proposición simple
III. 2x + 4 ≤ 5 es una proposición compuesta
3. Completa los espacios en blanco escribiendo la
IV. 2 + 4 ≤ 5 es una proposición compuesta
información correcta sobre los conectivos
lógicos:
a) FFVV d) VFVF
b) FFFV e) FFFF
a) Una conjunción es verdadera si “p” y “q” son
c) VFVV
ambas ______________ .
-4-
8. Si:  p  (t   u) es F I. (r  p)  t
 p  q es V II. q  (t  w)
III. (p  r)  (q  s)
Determina el valor de verdad de:
q  (t   q)  p  (t  u)  t  a) VVF d) VVV
b) VFV e) FVV
a) p d) F c) VFF
b) q e) p  q
c) V 13. Conociendo la siguiente proposición molecular
es falsa: (p  q)  s  (r  s)  t. Señala el
9. El valor de verdad asociado a cada una de las valor de verdad de p, q, r, s y t;
proposiciones representadas por: respectivamente.
 p  q;  (p  r); m  r es Verdadero.
Determina el valor de verdad que le a) FVFFV d)FFFVV
corresponde a las proposiciones representadas b) FFVVV e)VVVFF
por: c) VVFVV

I. (p  q)  (r  s) 14. Determina si cada proposición es verdadera o

II. (p  r)  (t  m) falsa, sabiendo que (p  q)  p es verdadera:
III. p  (r  s)
I. p  (q  p)
a) VVV d) FFV II. p  (p  q)  (p  q)
b) VFF e) VFV III. (p  q)  (p  q)
c) FVV IV.
a) VFF d) FFF
10. Si la proposición siguiente: b) FVF e) FVV
(p  q)  q   (p  q)  r es falsa. c) FFV
Determina el valor de verdad de las siguientes
proposiciones: 15. ¿Cuáles de las siguientes proposiciones son
tautológicas?
I. (p  q)  q  (p  q)  r
II. (p  q)  (r  q) I. (p  q)  (q  p)
III. (p  r)  q  r II. ((p  q)  (p  q))  p
III. (p  q)  (p  q)
Rpta.: _________________________________ IV. (p  q)  (p  q)
V. ((p  q)  p)  p}
11. Si el valor de verdad de la proposición
compuesta: a) Sólo I y II d) Sólo III, IV y V
b) Sólo II y IV e) Sólo I, II y V
(p  r)  q  (p  q)  s  (s  p)  t c) Sólo I, II y IV
es falsa, entonces determina el valor de verdad
de las siguientes proposiciones: 16. Desarrolla las tablas de verdad de las siguientes
proposiciones e indique si son tautologías,
I. (p  q)  r contradicciones o contingencias.
II. (q  (u  p))
III. (r  p)  (r  s)  t a) p  q
b) (p  q)  q
a) VVV d) FVF c) p  (p  q) q
b) FFV e) VFF d) (p  q)  (p  q)
c) VFV e) (p  q)  (q  r) (q  r)
12. Si: ((q  p))  (s  r) es falsa, determina el f)
valor de verdad de las proposiciones adjuntas; ACTIVIDADES DE EXTENSIÓN
siendo “w” y “t” proposiciones lógicas. 01. Señale verdadero (V) o falso (F):

-5-
 ( ) Basta que el antecedente sea falso para que la 07. Es un proposición que es falsa sólo cuando forman
proposición condicional sea falsa. la combinación V y F, en ese orden.
( )Una proposición bicondicional es verdadera A) Disyunción D)Implicación
solamente cuando sus dos componentes son B) Bicondicional E)Negación
verdaderas. C) Conjunción
A) VV D) FF
08. Escribe al lado de cada una de las afirmaciones si es
B) VF E) No se puede determinar
proposición lógica, enunciado o enunciado abierto
C) FV según sea el caso:
A) Los Wachiturros son celebridades del canto.
02. Señale verdadero (V) o falso (F): B) ¡Envidia, envidia, me tienen envidia!
( ) Solamente cuando el antecedente es verdadero C) 123 + 45 = 168.
D) El Colegio America cumple 118 años de
y el consecuente es falso, la proposición
aniversario en el 2018.
condicional es falso. E) El es soltero y hace lo que quiere.
( ) Basta que el consecuente sea verdadero para
09. Completa los espacios en blanco escribiendo la
que la proposición condicional sea verdadera. información correcta:
A) FV B) FF
A) Tautología es cuando todos los valores son
C) VV D) VF ____________________.
E) No se puede determinar
B) La disyunción débil es falsa cuando
03. Señale verdadero (V) o falso (F): ____________________________.
( ) “Si y sólo sí” es una conectiva bicondicional
C) La _________________ hace cambiar el valor
( ) Basta que uno de los componentes de una de verdad de una proposición.
proposición conjuntiva sea verdadero, para que
la proposición conjuntiva sea verdadera. 10. Sabiendo que:
A) VV D) FF p: Valeria saca únicamente notas aprobatorias
q: Valeria es estudiosa
B) VF E) No se puede determinar Escribe verbalmente:
C) FV
A) p  q C) q  p
04. Es una proposición que admite el valor V sólo B)  (p  q) D) p  q
cuando las dos proposiciones componentes son
11. Sabiendo que:
verdaderas:
A) Conjunción D) Implicación p: Los caballos son herbívoros
B) Disyunción débil E) Negación q: Los caballos son agresivos
C) Disyunción fuerte
Escribe verbalmente
05. Es una proposición en la cual basta que una de las
a) p  q c)  (p  q)
proposiciones sea verdadera, para que toda ella sea
b) p  q b) p  q
verdadera
A) Conjunción D) Implicación 12. Si:  p  (t   u) es F.
B) Disyunción E) Negación Determina el valor de verdad de:
C) Bicondicional
p  (t   p)  p  (t  u)  t 
13. Indique el valor de verdad de cada proposición
06. Es una proposición que es verdadera sólo cuando siguiente:
las dos proposiciones tienen el mismo valor de p : 13  18  36  41  (81 ≤ 92 )
verdad. q : 25 31  (42  53  (78 ≤ 31))  (52  33)
A) Disyunción D) Implicación
B) Bicondicional E) Negación
C) Conjunción

-6-