Al utilizar un termino de enlace entre dos o mas proposiciones atomicas obtendremos proposiciones compuestas, algunos terminos de enlace no actuan sobre una sola proposicon mientras que los demas terminos actuan sobre dos proposiciones.
Algunos ejemplos en los que enpleamos los terminos de enlace son:
- Hoy es martes y hay clase
- si estamos en diciembre entonces pronto llegara la navidad.
La ley del medio excluido. Toda proposici´on debe ser verdadera o falsa,pero no puede ser ambas cosas, ni puede ser ninguna de las dos cosas.
2. p ∧ q es verdadera si y solo si ambas son verdaderas.
3. p ∨ q es verdadera si y solo si p es verdadera o q es verdadera.
No hay comentarios:
Publicar un comentario