Ir al contenido

Usuario:Galindo6/ejercicio 12

De Wikilibros, la colección de libros de texto de contenido libre.
  • INTRODUCCION A LA LOGICA SIMBOLICA, PAGINA 43.


5.

[editar]
  • sean:

N = Nueva York es mas grande que chicago.

W = Nueva York esta al norte de Washington.

C = Chicago es mas grabde que Nueva York.

(N y W son verdaderas y c es falsa).

¿ Cuales de las oraciones siguientes son verdaderas ?

a) N∨C

b) N∧C

c) ∼N∧∼C

d) N↔(∼W∨C)

e) (W∨∼C)→N

f) (W∨N)→(W→∼C)

g) (W↔∼N)↔(N↔C)

h) (W→N)→[(N→∼C)→(∼C→W)]


SOLUCION

[editar]

A) N∨C

V∨F≡ F

B) N∧C

V∧F≡ F

C) ∼N∧∼C

F∧V≡ F

D) N↔(∼W∨C)

V↔(F∨F)≡ F

E) (W∨∼C)→N

(V∨V)→V≡ V

F) (W∨N)→(W→∼C)

(V∨V)→(V→V)≡ V

G) (W↔∼N)↔(N↔C)

(V↔F)↔(V↔F)≡ V

H)

(W→N)→[(N→∼C)→(∼C→W)]


(V→V)→[(V→V)→(V→V)]≡V



== pagina del solucionario == http://es.wikibooks.org/wiki/Pensamiento_Algor%C3%ADtmico:Solucionario