LOGICA

TRABAJO PRÁCTICO N° 1: LÓGICA
1. Usando letras para las proposiciones simples, y conectivos adecuados, escribir simbólicamente las siguientes proposiciones:
a) Llueve o hace frío.


a:

b)Si esta noche llueve, no saldré o tomaré un taxi.



b:

c) Si no llueve ni hace frío, iré a clase.



c:

d) Él es flaco, no obstante es alto.


a:

2. Sean las proposiciones(simples) c: "hoy está claro"; l: "hoy llueve"; n: "hoy nieva"; a: "ayer estaba nublado". Escribir en lenguaje coloquial las siguientes proposiciones:
a)
a) Hoy está claro entonces no lloverá o nevará.b)
b) Ayer estaba nublado sí y solo sí hoy está claro.
c)
c) Ayer estaba nublado y hoy está claro o llueve.
d)
d) Hoy está claro sí y solo sí hoy llueve, además hoy no nieve o ayer estabanublado.

3. Supongamos que las proposiciones p, q, r, s tienen asignados los siguientes V.V: V, F, F, V respectivamente. Hallar los V.V. de:

a)





V
F
F
V
V

b)





V
FF
F
V

c)








V
F
F
V
F
V
V
V

d)








V
F
F
F
F
F
V
V


4. Construir las tablas de verdad de:

a) q)


q)
q)
V
V
V
V
V
F
F
F
F
V
VV
F
F
V
V

b)





V
V
V
V
V
V
F
V
V
V
F
V
V
V
V
F
F
F
F
V

c)









V
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
F
V
F
V
V
F
V
V
F
V
VF
F
V
F
V
V
F
V
F
V
V
F
V
F
V
V
V
F
V
F
F
V
F
V
V
V
F
F
V
V
V
F
V
F
V
F
F
F
V
V
F
V
F
V

d)









V
V
V
F
V
F
V
F
F
V
V
F
F
VF
F
V
V
V
F
V
V
F
F
F
V
V
V
F
F
V
F
F
F
V
V
F
V
V
F
F
F
V
F
V
F
V
F
F
F
F
F
V
V
F
F
V
V
F
F
F
V
V
F
F
F
V
F
F
F
V
V

5. Las siguientes sonreglas de inferencia, demuéstrelas:
a)





V
V
V
V
V
V
F
F
F
V
F
V
V
F
V
F
F
V
F
V

b)




V
V
V
V
V
F
F
V
F
V
F
V
F
F
F
V

c)








V...