examen 1 nº 1

2
Universidad Técnica de Ambato Facultad de Ciencias Agropecuarias EXAMEN Nº 1 Carrera de Ingeniería Agronómica Primer Semestre OCTUBRE !1" # MAR$O !1% Nom&re'((((((((((((((((((((()) *ec+a' 4/12/2014 Por ,a-or res.onda /as sig0ientes .reg0ntas' 1) 2e,ina' ¿Qué entiende por inferencia lógica? ") Por ,a-or3 +aciendo 0so de /as reg/as de in,erencia est0diadas demostrar /o sig0iente) a4 2emostrar' 2 5 6 P1)((A V ¬B) V ) ! (" ! (# $ %)) P)(A V ¬B) ! ((% $ &) !') P7)A ! ((# $ %) ! (% $ &)) P")(A ( V )) (* $ ) ˄ ˄ c4 2em0estre' ¬ (+ ¬ ,) ˄ P1) - (' ! (.! *)) ˄ P) ! (. ! *) P7) (¬ ' ¬ ) ! (¬ V ¬ ) ˄ P") ! ¬ -) ! ¬ +) ˄ P%) ( ! -) (Q! +) ˄ P8) ¬ (. ! *) Manolo S. Muñoz E. Página 1

Upload: manolo-munoz

Post on 08-Oct-2015

224 views

Category:

Documents


0 download

DESCRIPTION

Examen

TRANSCRIPT

Universidad Tcnica de AmbatoFacultad de Ciencias AgropecuariasEXAMEN N 1Carrera de Ingeniera AgronmicaPrimer SemestreOCTUBRE 2014 MARZO 2015Nombre:..Fecha: 4/12/2014Por favor responda las siguientes preguntas:1.- Defina:Qu entiende por inferencia lgica? 4.-Por favor, haciendo uso de las reglas de inferencia estudiadas demostrar lo siguiente.a) Demostrar: D H P1. ((A V B) V C) (D (E F))P2. (A V B) ((F G) H)P3. A ((E F) (F G))P4. (A (K V L)) (J L)

c) Demuestre: (O Z)P1. N (H (I J))P2. K (I J)P3. ( H K) ( L V M)P4. ( L N) ( M O)P5. (P N) (Q O)P6. (I J)

Manolo S. Muoz E.Pgina 1