Documente Academic
Documente Profesional
Documente Cultură
1. A continuación damos unos esquemas lógicos que Ud. debe pasar a fórmulas:
RESPUESTAS
a) P o Q, si y sólo si, Q o P (P v Q)→ (Q v P)
b) No es el caso que P y no P — (P . — P)
c) O P o no Q, y no Q, entonces: no P
d) Si no P entonces Q o no P
f) Si no P, entonces P
g) Ni P ni Q, si y sólo si, no P y no Q
a) —P→ —Q
b) P→(P v—Q)
c) (P v P) →P
d) (— P • — P)
e) —[(P↓Q)w(—P.—Q)]
f) —(—P w—Q)↔[(—P→Q).(—P→ —Q)]
g) —(—R v Q)→—[(Q→—P).(— R→Q)]
h) {[(P→R).(Q→R].(P v Q)}→R
3. Pasar a fórmulas lógicas los correspondientes discursos.
1. Si hace sol, la casa está caliente; no está la casa caliente, por consiguiente no hace sol.
(P→Q).(—Q → —P)
2. Si nieva hace frío; está nevando, luego hace frío. (P→Q).(P→Q)