Premisa Mayor Premisa menor Conclusión

...

Variables

Lenguaje artificial

p= Un triángulo tiene 3 ángulos

q= Un cuadrado tiene 4 ángulos rectos

r= Su suma vale 2 ángulos rectos

s= Los rombos tienen 4 ángulos rectos

{[(p→q)˄(p˄r)]}˄(s→~q)→s

8.-Si la descripción bíblica de la cosmología es estrictamente correcta, el sol no fue creado hasta el cuarto día. Y si el sol no fue creado hasta el cuarto día no puede haber producido la sucesión del día y de la noche durante los tres primeros días. Pero, o bien las escrituras usan la palabra día en un sentido diferente al aceptado usualmente, o bien el sol debe haber sido la causa de la sucesión del día y la noche durante los tres primeros días. De todo ello se desprende que, o bien la descripción bíblica de la cosmología no es estrictamente correcta, o bien día es utilizado en las escrituras en diferente sentido al que usualmente se acepta.

Variables

Lenguaje artificial

p= Descripción bíblica cosmología es correcta

q= El sol fue creado hasta el cuarto día

r= El sol causo la sucesión del día y la noche s=La palabra día en un sentido diferente

[(p→~q)˄(~q→~r)]˄(s≡r)→(~p≡s)

9.-Si México es un país democrático, entonces el pueblo es elegido por las mayorías. México no es un país democrático, entonces el gobierno mexicano esta impuesto. Por lo tanto, no es cierto que el pueblo es libre y elegido por las mayorías.

Variables

Lenguaje artificial

p= México es un país democrático

q= El pueblo es elegido por las mayorías

r= El gobierno está impuesto

s= El pueblo es libre

[(p→q)˄(~p→r)]→~s˄q

10.- Los procesos psíquicos son naturales y están sometidos a las leyes de la naturaleza, o bien los procesos psíquicos son sobrenaturales. No es cierto que los procesos psíquicos sean sobrenaturales. Por lo tanto, los procesos psíquicos son naturales y están sometidos a las leyes de la naturaleza.

Variables

Lenguaje artificial

p= Los procesos psíquicos son naturales

q= Están sometidos a las leyes de la naturaleza

r= los procesos psíquicos son sobrenaturales

[(p˄q)˅r]˄~r→(p˄q)