Usuario:Galindo6/ejercicio 12

• INTRODUCCION A LA LOGICA SIMBOLICA, PAGINA 43.

5.

• 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\lor C$

b) $N\land C$

c) $\sim N$$\land$$\sim C$

d) $N\leftrightarrow$($\sim W$$\lor C$)

e) ($W\lor$$\sim C$)$\to N$

f) ($W\lor N$)$\to$($W\to$$\sim C$)

g) ($W\leftrightarrow$$\sim N$)$\leftrightarrow$($N\leftrightarrow C$)

h) ($W\to N$)$\to$[($N\to$$\sim C$)$\to$($\sim C$$\to W$)]

SOLUCION

A) $N\lor C$

$V\lor F$$\equiv$ F

B) $N\land C$

$V\land F$$\equiv$ F

C) $\sim N$$\land$$\sim C$

$F\land V$$\equiv$ F

D) $N\leftrightarrow$($\sim W$$\lor C$)

$V\leftrightarrow$($F\lor F$)$\equiv$ F

E) ($W\lor$$\sim C$)$\to N$

($V\lor V$)$\to V$$\equiv$ V

F) ($W\lor N$)$\to$($W\to$$\sim C$)

($V\lor V$)$\to$($V\to V$)$\equiv$ V

G) ($W\leftrightarrow$$\sim N$)$\leftrightarrow$($N\leftrightarrow C$)

($V\leftrightarrow F$)$\leftrightarrow$($V\leftrightarrow F$)$\equiv$ V

H)

($W\to N$)$\to$[($N\to$$\sim C$)$\to$($\sim C$$\to W$)]

($V\to V$)$\to$[($V\to V$)$\to$($V\to V$)]$\equiv$V

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