Prueba.

To see a World in a Grain of Sand And a Heaven in a Wild Flower,

Hold Infinity in the palm of your hand And Eternity in an hour.- William Blake

1- Marque dnde est el error de reescritura:

a- ML-M-M-LpqVr

b- pMq

c- qVrr

d- ((pVq)(r(q=((zVk)M)))))

2- Para L-(pV-q) Cul(es) es equivalente?

a- M(pVq)

b-M(pV-q)

c-L(-p&q)

3- dada una tautologa del lenguaje proposicional Qu podemos afirmar correctamente?

a- que es K-valida

b- Que su valor depende de los valores de sus componentes.

c- que su negacin es una contradiccin.

4- para el siguiente modelo:

M1 M2M3

M1[p,V]:V

[q,V ]:F

M2[p,V]:F

[q,V ]:V

M3[p,V]:V

[q,V ]:F

Calcule el valor de verdad en M1 de:

a- L(pq)(LpLq)

b- LpM(pMp)

c- pLMp

5- Encuentre un modelo que falsifique:

pLp

6- Es K-valida? Justifique.

7-[Recuerde:

Mp: modus ponens

SU: Sustitucion uniforme.

N: Necesitacion

RD1: entonces L L

RD2: = entonces L =L

RD3: entonces MM]

L(p&q) (Lq& Lp))

(1) (p&q)p PC1

(2) L(p&q)Lp

(3) (p&q)q PC2

(4) L(p&q)Lq

(5) (pq)((pr)(p(q&r))) PC3

(6) (L(p&q Lq)(( L(p&q Lp)( L(p&q) (Lq& Lp)))

(7) (( L(p&q Lp)( L(p&q )(Lq& Lp)))

(8) L(p&q) (Lq& Lp))

 Prueba.

I wandered lonely as a cloud when all at once I saw a crowd of golden daffodils

Continuous as the stars that shine, They stretched in never-ending line.-Wordsworth

1- Marque dnde est el error de reescritura:

a- ML-M-M-LpVrV

b- pqL

c- qVrL

d- [p(q&Vp)]

2- Para L-(pVq) Cul(es) es equivalente?

a- M(pVq)

b-M(pV-q)

c-L(-p&-q)

3- dada una tautologa del lenguaje proposicional Qu podemos afirmar correctamente?

a- que es K-valida

b- Que su valor depende de los valores de sus componentes.

c- que su negacin es una contradiccin.

4- para el siguiente modelo:

M1 M2M3

M1[p,V]:F

[q,V ]:F

M2[p,V]:V

[q,V ]:F

M3[p,V]:V

[q,V ]:V

Calcule el valor de verdad en M1 de:

a- L(pq)(LpLq)

b- LpM(pMp)

c- pLMp

5- Encuentre un modelo que falsifique:

MpLMp

6- Es K-valida? Justifique.

7-

[Recuerde:

Mp: modus ponens

SU: Sustitucion uniforme.

N: Necesitacion

RD1: entonces L L

RD2: = entonces L =L

RD3: entonces MM]

L(p&q) (Lq& Lp))

(1) (p&q)p PC1

(2) L(p&q)Lp

(3) (p&q)q PC2

(4) L(p&q)Lq

(5) (pq)((pr)(p(q&r))) PC3

(6) (L(p&q Lq)(( L(p&q Lp)( L(p&q) (Lq& Lp)))

(7) (( L(p&q Lp)( L(p&q )(Lq& Lp)))

(8) L(p&q) (Lq& Lp))

 Prueba.

Water, water, every where,

Nor any drop to drink.- Colleridge.

1- Marque dnde est el error de reescritura:

a- ML-M-M-LpVrV

b- pqL

c- qVrL

d- [p(q&Vp)]

2- Para L-(pVq) Cul(es) es equivalente?

a- M(pVq)

b-M(pV-q)

c-L(-p&-q)

3- dada una Contradiccin del lenguaje proposicional Qu podemos afirmar correctamente?

a- que no es K-valida

b- Que su valor depende de los valores de sus componentes.

c- que su negacin es una contingencia.

4- para el siguiente modelo:

M1 M2M3

M1[p,V]:F

[q,V ]:F

M2[p,V]:V

[q,V ]:F

M3[p,V]:V

[q,V ]:V
Calcule el valor de verdad en M1 de:

a- L(pq)(LpLq)

b- LpM(pMp)

c- pLMp

5- Encuentre un modelo que falsifique:

(p(qp))

6- Es K-valida? Justifique.

7- [Recuerde:

Mp: modus ponens

SU: Sustitucion uniforme.

N: Necesitacion

RD1: entonces L L

RD2: = entonces L =L

RD3: entonces MM]

(LqV Lp))L(pVq)

p(pVq) PC9

LpL(pVq)

q(pVq) PC10

LqL(pVq)

(pq)((rq)((pVr)q) PC11

(Lp L(pVq))((Lq L(pVq))((LpVLq) L(pVq))

((Lq L(pVq))((LpVLq) L(pVq))

((LpVLq) L(pVq))