Ejercicio sobre proposición compuesta

“Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si 
estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no 
habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con los 
seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no 
podríamos considerarnos dignos de nuestro tiempo.”

Formalización:

p → [ ( q ˄ r ˄ s) → ¬t ] ˄ [ (¬q ˅ ¬( r ˅ s ) → ( ¬p ˅ ¬u ) ]

Ejemplo Prop. Compuesta

Es falso que Ana no juega voley ni fútbol, por lo tanto podrá estar en el equipo de voley o en el de fútbol, si y solo si entrene demasiado porque son equipos superiores.

El Enunciado

Un enunciado es un acto de habla (acto locativo) mínimo, normalmente realizado mediante una oración o una expresión sintáctica más pequeña que una oración. Informalmente se usa enunciado como sinónimo de oración, aunque pragmáticamente existen diferencias. Por ejemplo, una misma oración dicha en diferentes contextos corresponde a enunciados diferentes. Y viceversa, diferentes oraciones pueden realizar o concretar un mismo enunciado:

Quiero que saques la basura.

¿Puedes sacar la basura?

Saca la basura, por favor.

¿Quieres sacar la basura?

                                                                                         

La Proposición

Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común o formalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos de un lenguaje formal.

En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.

Se clasifica en:

Proposición Simple: En matemáticas, una proposición simple es un enunciado del cual se puede afirmar que es verdadero o que es falso pero no ambos a la vez.

Ejemplos: 
-La caja de madera
-Está lloviendo

Proposición Compuesta:Las proposiciones compuestas son aquellas que se forman por unión de proposiciones simples mediante los conectivos lógicos.

Ejemplo:

 La caja es de madera y está lloviendo

Lógica

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

La lógica tradicionalmente se consideró una rama de la filosofía.