Primer Examen de Logica

UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERA INGENIERA CIVIL


I EXAMEN DE LGICA 1. Si [(p r) ( q s) ] (r s) es una contradiccin, hallar el valor de verdad de p v s. 2. p # q = V si p = V y q = F, y es F en los dems casos, hallar la tabla de valor de verdad de: (p q) # r. 3. Simplificar el siguiente esquema molecular, utilizando las leyes lgicas {[(pr) r] [ (s r) p]} [(p r) s] 4. Demostrar, utilizando las leyes del lgebra proposicional, que: {[ r (q p)] p} [ (r p) p ] es una tautologia. 5. Si la proposicin (p q) (r s) es verdadera, teniendo r y s valores veritativos opuestos, hallar el valor de verdad de: [p v (q r)] s

I EXAMEN DE LGICA 1. Si [(s r) ( q p) ] (r p) es una contradiccin, hallar el valor de verdad de p v s. 2. p # q = V si p = V y q = F, y es F en los dems casos, hallar la tabla de valor de verdad de: (p r) # q. 3. Simplificar el siguiente esquema molecular, utilizando las leyes lgicas {[(ps) r] [ (s r) p]} [(q r) q] 4. Demostrar, utilizando las leyes del lgebra proposicional, que: {[ p (q r)] q} [ (q p) q ] es una tautologia. 5. Si la proposicin (p s) (r q) es verdadera, teniendo r y q valores veritativos opuestos, hallar el valor de verdad de: [p v (q r)] s

Lic. Pal Alvarado Esquivel




I EXAMEN DE LGICA 1. Si [(p s) ( q r) ] (r s) es una contradiccin, hallar el valor de verdad de p v s. 2. p # q = V si p = V y q = F, y es F en los dems casos, hallar la tabla de valor de verdad de: (p # q) r. 3. Simplificar el siguiente esquema molecular, utilizando las leyes lgicas {[(pq) q] [ (s r) r]} [(p r) s] 4. Demostrar, utilizando las leyes del lgebra proposicional, que: {[ p (q r)] r} [ (r p) r ] es una tautologia 5. Si la proposicin (r q) (ps) es verdadera, teniendo p y s valores veritativos opuestos, hallar el valor de verdad de: [p v (q r)] s

I EXAMEN DE LGICA 1. Si [(s p) ( q r) ] (r p) es una contradiccin, hallar el valor de verdad de p v s. 2. p # q = V si p = V y q = F, y es F en los dems casos, hallar la tabla de valor de verdad de: (p # r) q. 3. Simplificar el siguiente esquema molecular, utilizando las leyes lgicas {[(sq) r] [ (s r) r]} [(p r) p] 4. Demostrar, utilizando las leyes del lgebra proposicional, que: {[p (q r)] p} [ (p r) p ] es una tautologia 5. Si la proposicin (s q) (r p) es verdadera, teniendo r y p valores veritativos opuestos, hallar el valor de verdad de: [p v (q r)] s



Primer Examen de Logica

Documents

Transcript of Primer Examen de Logica