UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ CARRION

FACULTAD DE CIENCIAS ECONOMICAS, CONTABLES Y FINANCIERAS

ESCUELA DE CIENCIAS CONTABLES Y FINANCIERAS

PRACTICA 3_M2

1. Determinar si q es una consecuencia valida de: p v q ; ~ p

2. Determinar si q es una consecuencia valida de : p ˄ q ; ~ p
3. Representar simbólicamente y determinar la validez de cada inferencia:
a) No puedo estudiar si trabajo. Estudio o apruebo matemáticas. He trabajado. Por lo tanto, aprobé matemáticas.
b) Todo elemento de A es elemento de B porque A es un subconjunto de B. A es un subconjunto de B. Entonces,
todo elemento de A es elemento de B.
c) La célula es la base de la formación de los tejidos orgánicos ya que la célula es la unidad básica de la materia
viva, pero es falso que, la célula sea la base de la formación de los tejidos orgánicos. En consecuencia, no es
cierto que, la célula sea la unidad básica de la materia viva.
d) Voy al estadio o me quedo en casa. Dormiré en la casa de mi hermano si voy al estadio. No me quedé en casa.
Luego dormí en la casa de mi hermano.
4. Determinar la validez de las siguientes inferencias, por el método abreviado:

a) p → q
q → p
∴ p ↔q

b) p ↔ q
r v q
~r
∴ q

c) q ↔ (~ p v r)
r v s
~p ↔ r
∴ q v r

Martha Julia La Rosa Fabián mlarosa@unjfsc.edu.pe LOGICA MATEMATICA