Ley de separación

En lógica matemática, la Ley de separación dice que si los siguientes dos enunciados son verdaderos:

(1) If p, entonces q .

(2) p

Luego podemos derivar un tercer enunciado verdadero:

(3) q .

Ejemplo:

Si los siguientes enunciados son verdaderos, use la Ley del silogismo para derivar un nuevo enunciado verdadero.

1) Si Usted es un pingüino, entonces Usted vive en el hemisferio sur.

2) Usted es un pingüino.

Digamos que p es el enunciado "Usted es un pingüino", digamos que q es el enunciado "Usted vive en el hemisferio sur".

Entonces (1) y (2) pueden ser escritos

1) Si p , entonces q .

2) p .

Así, por la Ley de separación, podemos deducir que q es verdadera. Esto es,

Usted vive en el hemisferio sur.