Quiero que me den una explicación detallada de lógica proposicional por favor :)

1
a. No vi la película, pero leí la novela: ¬p ˄ q
b. Ni vi la película ni leí la novela: ¬p ˄ ¬q
c. No es cierto que viese la película y leyese la novela: ¬(p ˄ q)
d. Vi la película aunque no leí la novela: p ˄ ¬q
e. No me gusta trasnochar ni madrugar: ¬p ˄ ¬q
f. O tu estás equivocado o es falsa la noticia que has leído: p ˅ q
g. Si no estuvieras loca, no habrías venido aquí: ¬p → ¬q

Respuestas

2013-10-25T05:11:10+02:00
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógicade proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
gracias :) pero.. tendrás ejercicios resueltos tanto con números como letras? :)
1. p
2. (p)
3. (p _ :q)
4. p _ :q
5. :(p _ p)
6. ((p ! q) _ (q ! p))
7. (p _ ^q)
como ese verdad