Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA, Captura de Pantalla 2021-11-24 a la(s) 19.15.57, Captura de…
LÓGICA
reglas de reemplazo
teorema de Morgan
conmutación
asociación
distribución
doble negación
implicacion material
transposición
equivalencia material
exportación
tautología
formas válidas elementales
modus ponens
silogismo hipotético
modus tollens
silogismo disyuntivo
dilema constructivo
absorción
simplificación
conjunción
adición
proposición
anunciado que puede calificarse de verdadero o falso
tautologías
siempre verdaderas
autocontradictorias
siempre son falsas
contingentes
depende de los valores asigandos
prop compuestas
ARGUMENTOS
conectivos lógicos
conjunción
y, e
^, .
disyunción
o, u
v
implicación material
"si __ entonces"
⇒
equivalencia material
"
si y solo si
"
↔
━
━
━
operador de negación
no
¬, ~
argumento
conjunto estructurado de props que reflejan una inferencia
deductivo
afirma que la conclusión esta sustentada de manera concluyente
inductivo
no afirma que las premisas sustenten manera concluyente
son razonamientos
buenos
malos
precedencia del operador