Lógica- El Razonamiento Deductivo Formal

afirmación alumnos de lógica análisis veritativo funcional antecedente asteriscos clase conclusión conjunción consecuente Conversión accidental conversión simple corrección del siguiente correcto Cristóbal Colón Demostrar la corrección diagramas diagramas de Venn Dimitri disyunción incluyente entonces estrategia del condicional excluyente F F F VF F V V falsedad falso FV F gato gráfica idempotencia incorrecto inferencia infiere línea lógica clásica lógica moderna lógica proposicional lógica son inteligentes luego mamífero marcianos mascota mis alumnos Modus Ponendo Ponens Modus Tollendo Tollens negación nexos lógicos Ɔ Bx Ɔ P1 Ɔ P2 Ɔ P3 P1 Ɔ P1 v P2 P2 es F P2 Ɔ P2 v P3 periódicos publicaron posibles primera figura proposición universal reducción al absurdo relación segmentos significa signos de agrupación siguiente esquema siguiente modo siguiente silogismo silogismo categórico Simbolización subalternas tabla de verdad utilizará V V F F valor veritativo verdadera vertebrados viceversa