¡Descarga LOgica matematica preposiciones y más Ejercicios en PDF de Lógica Matemática solo en Docsity!
Anexo -1-Ejemplos para el desarrollo Tarea 3 - Clasificación de
proposiciones categóricas y Métodos para probar validez de
argumentos
Apreciados estudiantes. A continuación usted podrá consultar los ejemplos para el desarrollo de la tarea 3: Ejemplos de desarrollo de los ejercicios de la tarea 3: Ejercicio 1: Proposiciones categóricas Proposiciones categóricas: p: Todas las aves son animales q: Algunas aves no son animales Definición de la estructura de la proposición categórica Cuantificado r Término Sujeto Cualidad o Cúpula Término Predicado Todas Aves son animales
Determinar el tipo de proposición (A, E, I, O). Clasificación de p: Proposición tipo “A”. Universal afirmativa. Cuantificador universal y cualidad afirmativa. Definición de la estructura de la proposición categórica Cuantificado r Término Sujeto Cualidad o Cúpula Término Predicado Algunas Aves no son animales Determinar el tipo de proposición (A, E, I, O). Clasificación de q: Proposición tipo “O”. Particular negativa. Cuantificador particular y cualidad negativa. Establecer si las proposiciones son contrarias, de contingencia o subcontrarias. De acuerdo al esquema propuesta p y q son contradictorias. p p q
Proposiciones simples: (se define cada proposición simple del argumento, siempre en afirmativo y con letras en minúscula). p: participo en los CIPAS q: participo en los B-learning r: obtengo buenas calificaciones Razonamiento en lenguaje natural: (A partir de las proposiciones simples anteriores y el lenguaje simbólico dado en el ejercicio, se construye la expresión en lenguaje formal o natural) Si participo en los CIPAS entonces participo en los B-learning. Si no participo en los CIPAS entonces obtengo buenas calificaciones. Por lo tanto, no obtengo buenas calificaciones entonces participo en los CIPAS Generar la tabla de verdad manualmente: recuerde que aparte de las columnas de las proposiciones simples, debe haber tantas columnas como operadores lógicos hay en el lenguaje simbólico (incluye negaciones y demás operadores lógicos, en el caso del ejemplo que estamos trabajando, hay 3 proposiciones simples, hay 2 negaciones y 5 operadores lógicos), por lo tanto, la tabla de verdad está compuesta por 3 columnas de proposiciones simples, 2 de negaciones y 5 columnas de operadores lógicos.
Resultado de la tabla de verdad: TAUTOLOGÍA Generar la tabla de verdad con el simulador Lógica UNAD
