MATERIA: UNIVERSIDAD AUTONOMA TOMAS FRIAS INICIAL DE APELLIDO

ALGEBRA FACULTAD DE INGENIERIA

MAT 100 INGENIERIA CIVIL
DOC. AUX.
Lic. Marco Lopez Mamani Univ. Miguel Angel Coro Aricoma
Univ. Fecha de Entrega:

PRACTICA Nro. 1
LOGICA
I. CONSTRUIR LA TABLA DE VERDADDE LAS SIGUIENTES PROPORCIONES

1. [(∼p∧q)↔(∼q∨p)]→( ∼r∧p)
2. [(r∨∼p)→(q∧∼r)]→[∼p∨(q∧∼r)]
3. {[(∼p→r)→∼q]→(∼r∨p)}→(p∧∼q)

II. NEGAR Y SIMPLIFICAR, SI: p,q y r SON INTERRUPTORES, DISEÑAR UN CIRCUITO ANTES Y
DESPUES DE SIMPLIFICAR

1. [(∼p∧r)↔(∼q∨p)]→(∼r∧p)
2. [(r∨∼p)→(q∧∼r)]→[∼p∨(q∧∼r)]
3. {[(∼p→r)→∼q]→(∼r∨p)}→(p∧∼q)

III. DETERMINAR LA PROPORCION “x” DE MODO QUE :

[(r∧x)↔(x→r)]∧[q→(∼p∧x)]≡p∧∼q

IV. DETERMINAR EL CONJUNTO DE VALIDEZ

1. SEAN LAS PROPORCIONES :

p= x{ x/ } q= x{ x/ } r= x{ x/ }

Determinar los conjuntos de validez :

1.1: V[p∧(p∨∼q)]→(r∧∼q) ; 1.2: V(r∧q)→(∼p∧q)

2. SEAN LAS PROPORCIONES :

p= x{ x/ q= x{ x/ } r= x{ x/ }

Determinar los conjuntos de validez :

2.1: V(∼p∨q)→(∼r∧p) ; 2.2: V(∼q∧p)→[(p∧q)∨r]

ALGEBRA MAT 100

 3. SEAN LAS PROPORCIONES

p= x( q= x(

p= x{ x/ }
Determinar los conjuntos de validez :
V(p∧∼q)→∼[p∨(p∆r)]

4. SEAN LAS PROPORCIONES

p= x( q= x(

r= x(
Determinar los conjuntos de validez :
V[(∼r∆q) ∨∼q] ∧[∼r→(r∧p)]

5. SEAN LAS PROPORCIONES

p= x( q= x(

r= x(
Determinar los conjuntos de validez :
V{[(p→∼r) →∼p] →[p∧(∼q→r)]} ∧(r∨p)

Lic. Marco Lopez Mamani Univ. Miguel Coro A.

Docente de la Materia Auxiliar de Docencia

CLASE DE AYUDANTIAS LUNES 18:30 amb 141

UNA COPIA SE ENCUENTRA FRENTE AL B.E.I
MAT 100

ALGEBRA MAT 100