Fecha nica de entrega:

Lunes 11 de febrero
Prof. Hugo Enrique Snchez

Pgina 1 de 1

Tarea 1 Lgica 2
Repaso de gramtica y semntica del LFLP

1. Toma como conectivos bsicos los elementos del siguiente conjunto: B
1
={,~}.
Cmo definiras a los conectivos lgicos en
1
={,,,}?
2. Demuestra que, dadas las definiciones que has propuesto, las condiciones de verdad
de las frmulas que involucran los conectivos en
1
son las usuales.
3. Expresa las siguientes frmulas nicamente en trminos de las conectivas en B
1
:
i. (~r ~k) s
ii. (r p) (t q)
iii. (s ) ~
4. Considera a B
1
como el conjunto de conectivos bsico y las definiciones que has
propuesto para los conectivos derivados. Son frmulas las siguientes expresiones?
En caso de responder afirmativamente, justifica tu respuesta por medio de una
prueba constructiva. En caso de responder negativamente, argumenta tu respuesta.
i. (p q)
ii. ( )
iii. ~s (t ~(p ~p))
5. Toma como conectivos bsicos los elementos del siguiente conjunto: B
2
={,}.
Cmo definiras a los conectivos lgicos en
2
={,,,,~}?
6. Demuestra que, dadas las definiciones que has propuesto, las condiciones de verdad
de las frmulas que involucran los conectivos en
2
son las usuales
7. Expresa las siguientes frmulas nicamente en trminos de las conectivas en B
1
.
i. (~r ~k) s
ii. (r p) (t q)
iii. (s ) ~
8. Considera a B
2
como el conjunto de conectivos bsico y las definiciones que has
propuesto para los conectivos derivados. Son frmulas las siguientes expresiones?
En caso de responder afirmativamente, justifica tu respuesta por medio de una
prueba constructiva. En caso de responder negativamente, argumenta tu respuesta.
iv. (p q)
v. (q p) q p
vi. ~(~s (t ~k))