Lenguaje coloquial y simbólico

$x$ se suele utilizar para representar un número $real$, $n$ uno $natural$ y $k$ uno $entero$.

Negar proposiciones

$$\neg(p \implies q) = p \wedge \neg q$$

Equivalencias

Algunas proposiciones son equivalentes, como visto con ejemplos en las implicaciones. Otro ejemplo puede ser p v q siendo equivalente a !p ^ !q.

Leyes de Morgan

Aplican al negar una conjunción o disyunción y muestran equivalencias.

Las leyes de Morgan dictan que al encontrarnos con un ejemplo como los siguientes:

!(p v q)

o

!(p ^ q)

… al "negar" el paréntesis se distribuye e invierte todo lo que esté adentro. Las equivalencias de esos ejemplos son, respectivamente:

!p ^ !q

y

!p v !q

Práctica

Ejercicios de capítulo lógica.pdf: