Formalizacion

Formalización de inferencias

a) Osama bin Laden es un fundamentalista religioso y Hitler es un fundamentalista político. Luego, Hitler es un fundamentalista político.

Forma lógica:
Osama bin Laden es un fundamentalista religioso. Hitler es un fundamentalista político. Luego, Hitler es un fundamentalista político.

Formula:
Premisa 1: Osama bin Laden es un fundamentalista religioso.-------------------------------------------------
Premisa 2: Hitler es un fundamentalista político.
Conclusión: Hitler es un fundamentalista político.

A: Osama bin Laden es un fundamentalista religioso.
B: Hitler es un fundamentalista político.
[(A^B)]B

b) Esta figura no es un cuadrilátero, puesto que es un triángulo. En consecuencia, no es un cuadrilátero.
Formalógica:
Si esta figura no es un cuadrilátero, entonces es un triangulo. En consecuencia, no es un cuadrilátero.
Formula:
Premisa 1: Esta figura no es un cuadrilátero
-------------------------------------------------
Premisa 2: Es un triangulo
Conclusión: No es un cuadrilátero

A: Esta figura es un cuadrilátero
B: Es un triangulo
[(¬AB)]¬B

c) Si la suma de dosnúmeros naturales es conmutativa, entonces si 
cambiamos el orden de los sumandos, se obtiene la misma suma. 
La suma de dos números naturales es conmutativa. Por tanto, se obtiene la misma suma si cambiamos el orden de los sumandos.

Forma lógica:
Si la suma de dos números naturales es conmutativa, entonces si 
cambiamos el orden de los sumandos, entonces se obtiene la misma suma. 
La sumade dos números naturales es conmutativa, y se obtiene la misma suma si cambiamos el orden de los sumandos.

Formula:
Premisa 1: La suma de dos números naturales es conmutativa
-------------------------------------------------
Premisa 2: Cambiamos el orden de los sumandos
Conclusión: Se obtiene la misma suma

A: La suma de dos números naturales es conmutativa
B: Cambiar el orden de lossumandos
C: Se obtiene la misma suma
(ABC) ^ [(A^B)]C

d) Un cuerpo está en estado neutro y no presenta ningún fenómeno 
eléctrico en su conjunto siempre que su carga eléctrica positiva esté en estado igual a la negativa. Pero es falso que el cuerpo esté en estado neutro y no presente ningún fenómeno eléctrico en su conjunto. En consecuencia, la carga eléctrica positiva de un cuerpo está enestado igual a la negativa.

Forma lógica:
Si un cuerpo está en estado neutro y no presenta ningún fenómeno 
eléctrico en su conjunto, entonces su carga eléctrica positiva esta en estado igual a la negativa, y un cuerpo no esta en estado neutro y no presenta ningún fenómeno eléctrico en su conjunto. En consecuencia, la carga eléctrica positiva de un cuerpo está en estado igual a la negativa.Formula:
Premisa 1: Un cuerpo está en estado neutro.
Premisa 2: No presenta ningún fenómeno eléctrico en su conjunto.
-------------------------------------------------
Premisa 3: Su carga eléctrica positiva esta en estado igual a la negativa.
Conclusión: la carga eléctrica positiva de un cuerpo está en estado igual a la negativa.

A: Un cuerpo está en estadoneutro.
B: Presenta fenómeno eléctrico en su conjunto.
C: Su carga eléctrica positiva esta en estado igual a la negativa.
[((A^B)C) ^ (¬A^¬B)]C

e) Se llama falacia o sofisma si una inferencia inválida tiene la apariencia de ser válida. Se llama falacia o sofisma. Luego, la inferencia inválida tiene la apariencia de ser válida. 

Forma lógica:
Si una inferencia inválida tiene la apariencia deser válida, entonces se llama falacia o sofisma. Luego, la inferencia inválida tiene la apariencia de ser válida. 

Formula:
Premisa 1: Una inferencia inválida tiene la apariencia de ser válida
-------------------------------------------------
Premisa 2: Se llama falacia o sofisma
Conclusión: Una inferencia inválida tiene la apariencia de ser válida

A: Una inferencia inválida tiene...