Estado Plurinacional de Bolivia

Ministerio de Salud
ESCUELA NACIONAL DE SALUD

INFORME
LOGICA SIMBOLICA
DIRECTORA EJECUTIVA: DRA. MARIA ISABEL FERNANDEZ CANQUI

COORDINADOR ACADEMICO: DR. JUAN MARCOS RODRIGUEZ MORALES

DOCENTE: LIC. GROVER CAHUAYA YAPO

ESTUDIANTES: 1.- MARCOS SEBASTIAN NINA AMARU

2.- BARBARA LLANQUE
3.- ROGELIA BETTY VARGAS CONDORI
4.- KEVIN PEDRO MAMANI LIMACHI
5.- ALELI MACHICADO
6.- ISMAEL MARCA
7.- ROCIO ADRIANA PAXI HUCHANI
8.- JOEL ALVARADO GUTIERREZ
9.- JOSE LUIS YUJRA HUANCA
10.- JOEL DAVID PAUCARA
CARRERA: TECNICO MEDIO EN ESTADISTICA DE SALUD

TURNO: MAÑANA

GESTION: 2019 - 2021

FECHA DE PRESENTACION: 13 DE MAYO 2019

LA PAZ – BOLIVIA
 INDICE

1.1 INTRODUCCION A LA LOGICA………………………………... 1

1.2 PROPOSICIONES COMPUESTAS……………………….…… 2

1.3 LA NEGACION………………………………………………….… 3

1.4 LA CONJUNCION…………………………………………….….. 4

1.5 LA DISYUNCION INCLUSIVA Y EXCLUSIVA…………….….. 5

1.6 EL CONDICIONAL…………………………………………….…. 6

1.7 EL BICONDICIONAL………………………………………….…. 8

1.8 PROPOSICIONES……………………………………………….10

1.9 TAUTOLOGIAS, CONTRADICCIONES…………………….....12

1.10 RAZONAMIENTOS……………………………………………..14

1.11 EJERCICIOS…………………………………………………….15

BIBLIOGRAFIA………………………………………………………..20
1
2
3
4
5
6
7
8
9
10
11
12
13
14
1.11 EJERCICIOS

1) En las siguientes colecciones de palabras, Símbolos, Indicar proposiciones V

y cuáles no lo son (F).
a) los libros son buenos amigos
Solución:
La proposición es verdadera ( V ).
b) los gatos ladran
Solución:
La proposición es falsa ( F ).
c) 5+(2)(4) = 13
Solución:
La proposición es verdadera ( V ).
d) 5 + 5 = 10 y 8 – 3 = 2
Solución:
Es falso F, puesto que es una conjunción con una proposición falsa.
e) 5 + 5 = 10 o 7 – 2 = 3
Solución:
Es verdadera V, puesto que es una disyunción con una proposición simple verdadera

f) Sí 3 + 3 = 2, entonces 5 + 5 = 10
Solución:
Es verdadera V, por ser una implicación en donde el antecedente es falso F, y el
consecuente es verdadero V de dos proposiciones simples.
2) realizar los conectivos lógicos con su significado.
Solución:

15
3) Hallar la tabla de verdad de la proposición.
~ (p Λ q) ↔ (~p V ~q)
Solución:

p q ~ (p ˄ q) ↔ (~p v ~q)
V V F V V F
V F V F V V
F V V F V V
F F V F V V

4 ) Analizar la validez del siguiente razonamiento.

[(p→q) Λ p ] →q
Solución:
p q [(p →q) ˄ p] → q
V V V V V
V F F F V
F V V F V
F F V F V

5) Analizar la validez del siguiente razonamiento.

[(p→q) Λ q ] →p
Solución:
p q [(p →q) ˄ q] → p
V V V V V V V
V F F F F V V
F V V V V F F
F F V F F V F

6) Hallar la tabla de verdad de la siguiente proposición:

~{ ~[ p v (~q→p) ] v ~[ (p ↔~q)→(q Λ ~p) ]}
Solución:

Primero simplificaremos la proposición por la ley de Morgan:

~ ~{[ p v (~q → p) ] ˄ [ (p ↔~q) → (q ˄ ~p) ]} de donde se tiene

[p v (~q →p)] ˄ [(p ↔~q) → (q ˄ ~p)]

16
 p q [p v (~q →p)] ˄ [(p ↔~q) → (q ˄ ~p)]
V V V V V V F V F
V F V V V F V F F
F V F V V V V V V
F F F F F F F V F

El valor de verdad

7) Determinar la proposición [((~p) v q) Λ ~ q] → ~ p es una tautología

Solución:

p q [(~p v q) ˄ ~q] → ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V

Es una tautología

8) Verificar que las siguientes proposiciones son contradicciones:

a) ( p ˄ q ) ˄ ~ ( p v q ) b) ~[ p v ( ~ p v ~q )]
Solución

p q (p ˄ q) ˄ ~ (p v q) ~ [p v ( ~ p v ~q)]
V V V F F V F V V F
V F F F F V F V V V
F V F F F V F F V V
F F F F V F F F V V
Contradicción

9) Demostrar que las proposiciones dadas es una tautología:

[(p v ~q) ˄ q] →p
Solución

p q [(p v ~q) ˄ q] → p
V V V V V V V
V F V F F V V
F V F F V V F
F F V F F V F
Es una tautología

17
10) Verificar que la proposición dada es una contingencia:
[~p ˄(q v r)] ↔ [(p v r) ˄ q]
Solución:

p q r [~p ˄ (q v r)] ↔ [(p v r) ˄ q]

V V V F F V F V V V
V V F F F V F V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F
Es una contingencia
11) Determinar si las proposiciones [p→(r v ~q)] y [(q→~p) v (~r → ~p)] son iguales.
Solución:

p q r [p → (r v ~q)] [(q→~p) v (~r→~p)]

V V V V V V F V V
V V F V F F F F F
V F V V V V V V V
V F F V V V V V F
F V V F V V V V V
F V F F V F V V V
F F V F V V V V V
F F F F V V V V V
Idénticas
Por lo tanto son equivalentes es decir: [p→(r v ~q)] ≡ [(q→~p) v (~r→~p)]

12) Determinar si las proposiciones [(~p v q) v (~r ˄ ~p)] y ~q→~p son

equivalentes.
Solución

p q r [(~p v q) v (~r ˄ ~p)] ~q→~p

V V V V V F V
V V F V V F V
V F V F F F F
V F F F F F F
F V V V V F V
F V F V V V V
F F V V V F V
F F F V V V V
Idénticas

18
Por lo tanto son equivalentes es decir: [(∼p v q) v(∼r Λ∼p) ≡∼q → ∼p

13) Si el pueblo trabaja entonces progresa, el pueblo no trabaja el pueblo no

progresa.
P: el pueblo trabaja Q: el pueblo progresa
Solución:

14) Si comes entonces en gordas, si comes entonces no engordas. No comes

P: comes Q: engordas
Solución:

15) Si es invierno entonces hace frio, Si hace frio entonces nieva, Si es invierno
entonces nieva.
P: es invierno Q: hace frio R: nieva
Solución:

19
BIBLIOGRAFIA

- VICTOR CHUNGARA CASTRO (2015). ALGEBRA BASICA BOLIVIA:

EDITORIAL “LEORNARDO”

20