Proposiciones



Proposiciones Lógicas Simples
Estamos estudiando en la universidad
Tenemos empleo
Tenemos dinero
Podemos adquirir bienes
Compramos mejores equipos electrónicos
Deseamos comunicarnos mejor
Deseamos escuchar
Deseamos ver mejor a otros seres humanos
Deseamos el cariño sincero
Deseamos la compañía inteligente
Solucionamos problemas
Mejoramos la calidad de vida de los sereshumanos.
Con este fin estamos estudiando en la universidad
Estudiamos para servir

Expresiones que no son proposiciones
“¿Por qué estamos estudiando en la universidad?
Solemos creer que
¿Son los bienes materiales lo que más deseamos?
¿Qué es lo que ha llevado al ser humano a la construcción de nuevo conocimiento?
La respuesta es

Proposiciones Compuestas
Para tener un empleo es necesarioestar estudiando en la Universidad. Si tenemos dinero, entonces podemos adquirir bienes. Si compramos mejores equipos electrónicos, entonces nos comunicamos mejor, es necesario para escuchar y ver mejor a otros seres humanos, si y solo si, lo que más deseamos es el cariño sincero y la compañía inteligente. Si Solucionamos problemas, entonces mejoramos la calidad de vida de los seres humanos. Con estefin estamos estudiando en la universidad. Estudiamos para servir.”

Declaración de proposiciones Simples
p=Estamos estudiando en la universidad
q=Tenemos empleo

p=Tenemos dinero
q=Podemos adquirir bienes

p=Compramos mejores equipos electrónicos
q=Deseamos comunicarnos mejor
r=Deseamos escuchar
s=Deseamos ver mejor a otros seres humanos
t=Deseamos el cariño sincero
v=Deseamos lacompañía inteligente






p=Solucionamos problemas
q=Mejoramos la calidad de vida de los seres humanos.

Lenguaje Simbólico de las proposiciones
P ->q

p
q
p -> q
V
V
V
V
F
F
F
V
V
F
F
V

P ->q

p
q
p -> q
V
V
V
V
F
F
F
V
V
F
F
V

P -> (q->r^s)(t^v)

 p  
  q  
  r  
  s  
rΛs
q→rΛs
 p→(q→rΛs
  t  
  v  
tΛv
 p→(q→rΛs)↔(tΛv) 
V
V
VV
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
V
V
V
V
V
V
V
F
V
F
F
V
V
V
V
V
V
V
F
F
F
F
V
V
V
F
F
F
F
V
V
V
F
V
V
V
F
F
F
F
V
F
F
V
V
V
V
F
F
F
F
F
V
F
V
V
V
V
F
F
F
F
F
F
F
V
V
V
F
V
F
F
F
V
V
V
F
V
V
F
V
F
F
F
V
F
F
V
V
V
F
V
F
F
F
F
V
F
V
V
V
F
V
F
F
F
F
F
F
V
V
V
F
FF
F
F
V
V
V
F
V
V
F
F
F
F
F
V
F
F
V
V
V
F
F
F
F
F
F
V
F
V
V
V
F
F
F
F
F
F
F
F
V
V
F
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
V
V
F
F
F
V
F
V
V
V
V
V
F
V
F
F
V
F
V
V
V
V
V
F
F
F
F
V
F
V
F
F
V
V
V
V
V
V
V
F
V
F
F
V
V
V
F
F
F
V
F
V
F
F
V
V
F
V
F
F
V
F
V
F
F
V
V
F
F
F
F
V
F
F
V
FV
V
V
V
V
V
V
F
F
V
F
V
V
V
F
F
F
V
F
F
V
F
V
V
F
V
F
F
V
F
F
V
F
V
V
F
F
F
F
V
F
F
F
F
V
V
V
V
V
V
V
F
F
F
F
V
V
V
F
F
F
V
F
F
F
F
V
V
F
V
F
F
V
F
F
F
F
V
V
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
F
V
F
F
F
V
V
V
V
V
V
F
F
F
F
F
V
V
F
F
F
VV
V
V
V
F
V
V
F
F
F
V
V
F
F
F
F
V
V
F
F
F
V
F
V
F
F
F
V
V
F
F
F
V
F
F
F
F
F
V
F
V
F
F
V
V
V
V
V
F
V
F
V
F
F
V
V
F
F
F
F
V
F
V
F
F
V
F
V
F
F
F
V
F
V
F
F
V
F
F
F
F
F
V
F
F
F
F
V
V
V
V
V
F
V
F
F
F
F
V
V
F
F
F
F
V
F
F
F
F
V
F
V
F
F
F
V
F
F
F
F
V
F
F
F
F
F
F
V
V
V
V
V
VV
V
V
F
F
V
V
V
V
V
V
F
F
F
F
F
V
V
V
V
V
F
V
F
F
F
F
V
V
V
V
V
F
F
F
F
F
F
V
F
F
V
V
V
V
V
V
F
F
V
F
F
V
V
V
F
F
F
F
F
V
F
F
V
V
F
V
F
F
F
F
V
F
F
V
V
F
F
F
F
F
F
F
V
F
V
V
V
V
V
V
F
F
F
V
F
V
V
V
F
F
F
F
F
F
V
F
V
V
F
V
F
F
F
F
F
V
F
V
V
F
F
F
F
F
F
F
F
F
V
V
V
V...