Conectivos logicos

Conjuncion Y. Pueden funcionar las palabras pero, no obstante y sin embargo
Disyuncion O v
Condicional o implicación directa, Si entonces p---->q
1. Implicacion contraria ¬p---> (¬q)
2. Implicacion reciproca q--->p
3. Implicacion contrareciproca ¬q ---> (¬p)
Bicondicional. Si y solo si p<---->q
Según el numero de preposiciones habrá x numero de filas donde n es el numero de preposiciones. ----> 2 a la n
Logica matematica
1. Enunciados o proposicion
  1. Interrogativos
  2. Imperativo (orden)
  3. Enunciado declarativo (expresión)
    1. Pueden ser T/F y son los UNICOS con los que se trabaja en lógica
  4. Pueden ser proposiciones individuales o atómicas enlazadas por medio de CONECTIVOS
2. El procedimiento es
  1. 1.Identificar preposiciones
    1. 2.Reconocer los conectivos y negaciones
      1. 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
3. Reglas de inferencia, por simplificacion
  1. Simplificacion (y)
  2. Adicion (o)
  3. Adjuncion (y)
  4. Modus ponendo ponens mpp
  5. Modus tolendo tolens mtt
  6. Silogismo hipotetico
  7. Modus tolendo polens mtp

Resource summary

	Created by Kevin David Gil 4849 about 9 years ago