LÓGICA MATEMÁTICA 1: PERFILES

miércoles, 11 de agosto de 2010

PERFILES

NEYLA PARRA MUÑOZ COD 142002622
http://neylaparra.blogspot.es/
JENNY ALEXANDRA ROJAS RODRIGUEZ COD 142002630
JAVIER EDUARDO GRASS HERRERA COD 142002614
javiergrass.blogspot.com
LUISA FERNANDA CASTRO

No hay comentarios:

Publicar un comentario

EJERCICIOS

EJERCICIOS:

1- Indicar el tipo de proposición molecular y traducir al lenguaje corriente.

a. P ∨ (R & Q)

b. (T & S) ∨ P

c. (¬M ∨ ¬ N) & (¬O)

d. (P ∨ Q ) ⇒ T

e. (¬R) ⇒ (¬S)

2 - En las siguientes proposiciones matemáticas, utiliza las reglas de prioridad sobre la

Potencia de símbolos y añadir los paréntesis correspondientes.

a. Conjunción x ≠0 ∨ x >y & y=z

b. Condicional x=1 & y=2 ⇒ x+y=3

c. Disjunción x ≠1 ⇒ x=2 ∨ x=0

d. Disjunción x=z ⇒ z=y ∨ y=x

e. Condicional x=1 & y=0 ⇒ y+x=1

3 - Traducir las siguientes proposiciones al lenguaje castellano.

a. ¬M

b. ¬N & ¬P

c. P & Q ⇒ S

d. S & T ∨ M

e. M ⇒ N & R

4 - Indicar el enlace dominante en cada proposición. Traducir al lenguaje castellano.

a. (P ∨ Q) & R

b. (M & N ) ⇒ S

c. (M ⇒ N) ∨ O

d. (P) ⇒ ¬(N)

e. T ∨ M & N

f. ¬ (P & M)

5 - Utilizando los símbolos dados, simbolizar las proposiciones siguientes :

M= Ana compro carro.

N= Carlos no compro carro.

T= Alex comprara carro.

a. Si Ana compro carro, entonces Carlos no compro carro y Alex comprara carro.

b. O Ana compro carro o Alex comprara carro.

c. Ana compro carro y Carlos no compro carro.