a picture of a whiteboard with a formula on it

# Lógica Proposicional: Leyes y Conceptos Fundamentales## 1. Ley de la no contradicción**Definición:** Esta ley fundamental de la lógica establece que una proposición no puede ser simultáneamente verdadera y falsa bajo las mismas circunstancias y en el mismo sentido. En otras palabras, algo no puede ser y no ser al mismo tiempo.**Ejemplo práctico:**- Correcto: "El agua en este vaso está hirviendo o no está hirviendo."- Incorrecto: "El agua en este vaso está hirviendo y no está hirviendo al mismo tiempo."## 2. Ley del tercero excluido**Definición:** Esta ley afirma que para cualquier proposición, o bien esa proposición es verdadera, o su negación es verdadera. No existe una tercera posibilidad o un estado intermedio.**Ejemplo práctico:**- Correcto: "O bien está lloviendo, o bien no está lloviendo." (No hay una tercera opción)- Incorrecto: "Está lloviendo un poco." (Aunque parezca un punto intermedio, en términos de lógica proposicional, o está lloviendo o no lo está)## 3. Leyes de De Morgan**Definición:** Esta