Conectivos logicos

Conectivos logicos

1. Conjuncion Y. Pueden funcionar las palabras pero, no obstante y sin embargo

2. Disyuncion O v

3. Condicional o implicación directa, Si entonces p---->q

   • Implicacion contraria ¬p---> (¬q)
   • Implicacion reciproca q--->p
   • Implicacion contrareciproca ¬q ---> (¬p)

4. Bicondicional. Si y solo si p<---->q

5. Según el numero de preposiciones habrá x numero de filas donde n es el numero de preposiciones. ----> 2 a la n

6. Logica matematica

   • Enunciados o proposicion
     • Interrogativos
     • Imperativo (orden)
     • Enunciado declarativo (expresión)
       • Pueden ser T/F y son los UNICOS con los que se trabaja en lógica
     • Pueden ser proposiciones individuales o atómicas enlazadas por medio de CONECTIVOS
   • El procedimiento es
     • 1.Identificar preposiciones
       • 2.Reconocer los conectivos y negaciones
         • 3. Reconocer el numero de filas y asignar tabulaciones T/F
           • 4: Resolver con lógica algebraica
             • El resultado del ejercicio es el resultado de despejar la condicional principal
               • Multivariable
   • Reglas de inferencia, por simplificacion
     • Simplificacion (y)
     • Adicion (o)
     • Adjuncion (y)
     • Modus ponendo ponens mpp
     • Modus tolendo tolens mtt
     • Silogismo hipotetico
     • Modus tolendo polens mtp

Bilder und Dateien der Mindmap