Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica 1 - Coggle Diagram
Lógica
Formas validas elementales
Modus Tollens (M.T)
Silogismo hipotético (S.H)
Modus ponens (M.P)
Silogismo disyuntivo (S.D)
Dilema constructivo (D.C)
Absorción (abs.)
Simplificación (simp.)
Conjunción (conj.)
Adición (ad.)
Proposición
Enunciado que puede calificarse en verdadero o falso
Tautología, auto contradictorias y contingencia
Conectivos lógicos
Disyunción: ˅ (o,u)
Implicación: → ⊂ (Si - entonces - )
Conjunción: ˄ • (y,e)
Equivalencia: ⟺ ≡ ( - si y solo si - )
No negación: ~ ﹁
Argumento
Conjunto estructurado de proposiciones que reflejan una
Deductivo e inductivo
Validez:Siempre que,cuando las premisas sean verdaderas la conclusión también es verdadera
Orden de importancia
1.- ~ 2.-^ 3.-v 4.- → ⟺
Invalidez
Combinación de valores de verdad en las variables de tal modo que tengamos premisas verdaderas y conclusión falsa
Teoría de cuantificadores
La función proposicional no es una proposición hasta que la variable se sustituye por un individuo o se cuantifique
Cuantificación universal
∀
Cuantificación existencial
∃
