Trabajo Academico de Logica.

1. Formalizar las siguientes proposiciones, identificando cada una de las proposiciones atómicas que aparezcan:                                                                                                          

a) Es absurdo que, los sueldos no tienen capacidad adquisitiva, pero los trabajadores protestan.

b) Juan será encontrado culpable, si hoy rinde su instructiva, por tanto si hoy rinde su instructiva, dirá la verdad. Juan no será encontrado culpable, sino dice la verdad.

c) Existirá inflación, a menos que se moderen los precios y los salarios. Siempre que se moderan los salarios pero no los precios, si el Gobierno no interviene ocurre que el consumo interno disminuye y la economía se ralentiza. Por tanto, cuando no se moderan los precios, es necesario que el Gobierno intervenga para que la economía no se ralentice.

1. Definir Argumentación e identificar y sustentar 5 ejemplos comunes de Falacias observadas recientemente en el ámbito empresarial.

La argumentación es un tipo de exposición que tiene como finalidad defender con razones o argumentos una idea que se quiere probar. La argumentación puede ser persuasiva o válida. En el primer caso, más allá de la veracidad de los argumentos, el interés está puesto en convencer al interlocutor

1. Hay sobreproducción de tomates por lo que hay más consumidores.
2. Las pequeñas empresas no necesita capital porque con mano de obra barata puede tener buenas ganancias.
3. Todos los negocios son rentables, porque no existe competencia de precios.
4. Las empresas se van a la quiebra por que firman contratos lucrativos.
5. La exportación de tubérculos, hizo que los precios bajen en el mercado y se consuma menestras en grandes cantidades.

Fuente: http://www.buenastareas.com/ensayos/La-Argumentacion-logica/4127008.html

1. Definir Lógica Proposicional y evaluación de fórmulas por la Tabla de Valores. Desarrollar un ejemplo de Tautología, Contradicción y de Contingencia.    

Lógica Proposicional: Es parte de la lógica que permite representar acciones, hechos y expresiones de la vida real con un lenguaje representativo del conocimiento, mediante propiedades elementales las cuales hacen posible su evaluación de verdad o falsedad.

Evaluación de Formulas: Se refiere a llegar en una conclusión, después de haber evaluado mediante propiedades elementales una cadena de lógica proposicional.

Tautología: Son aquellas fórmulas que son ciertas para cualquier valoración de los símbolos proposicionales que contiene.

        Ejemplo: Si Pedro es peruano entonces le gusta el ceviche y si a Pedro no le gusta el         ceviche por lo tanto, no es peruano. Su tabla de verdad corresponderá a:

        [ (p→ q) ^ ~q ] → ~p

Contradicción: Si todos los valores de verdad son falsas.

        Ejemplo: El tomate es rosado = p

        La proposición p ∧ ~p corresponde a decir que “el tomate es rosado y el tomate no es         rosado”. Por lo tanto se está contradiciendo.

Fuente: ANDRADE, Edgar J; CUBIDES pablo; MARQUEZ Carlos M. Lógica y pensamiento formal. Editorial UNIVERSIDAD DEL ROSARIO Bogotá. 2008. 54 pág. ISBN: 978-958-8378-32-9                                                                           

1. Mostrar las proposiciones de cada caso y sus posibles valores en una tabla de verdad y determinar qué tipo de proposición es (negación, conjunción, disyunción inclusiva, disyunción exclusiva, condicional, bicondicional):                                      

a) En una tienda se regala un llavero después de cada compra, pero sólo se puede elegir uno entre estos dos: “llavero de letra  o llavero de número”.

p V q es una disyunción exclusiva.

b) Una tienda tiene la siguiente promoción: “En la compra de más de $ 5000 en artículos deportivos se le hace el 40% de descuento sobre la compra”.

Es una afirmación.

1.  Definir los Conceptos de Lógica Predicativa; Lógica Cuantificacional.  

Lógica Predictiva: Es aquella que usa predicados para expresar ciertas cosas. Como Po ejemplo: José está estudiando.

Lógica Cuantificacional: Esta lógica estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad.

1.  Mediante uso de cuantificadores, representar formalmente las siguientes proposiciones. Luego, representarlas mediante Diagramas de Venn

1. Todos los niños son alegres

[pic 1]

[pic 2]

[pic 3]

[pic 4]

                                                         A=Niños alegres

                                                        Todo está graficado por lo tanto                                                         el silogismo                                                         es válido.

b) Algunos gatos son pardos

        [pic 5][pic 6][pic 7]

[pic 8][pic 9]

                G= gatos[pic 10]

                P=Pardos[pic 11][pic 12]

[pic 13][pic 14]

[pic 15][pic 16]

...