38962825
Beschreibung
Mindmap von Bruno Alexis Cedano Vidal, aktualisiert more than 1 year ago
|
Erstellt von Bruno Alexis Cedano Vidal
vor etwa ein Jahr
|
|
Implicación Lógica
- 1.- Reglas de interferencia
- Cuando p, q son proposiciones arbitrarias y p -> q, la implicacion p -> q es una tautologia y
decimos que p -> q es una implicacion logica.
- Tautologia
- En las disciplinas de la lógica y la retórica, se emplea el término tautología para referirse a aquellos
enunciados autoevidentes, obvios o redundantes, o sea, que resultan verdaderos desde cualquier posible
interpretación, pues se explican y afirman a sí mismos. Por ello, una tautología es un argumento falaz,
inválido, vacío.
- En las disciplinas de la lógica y la retórica, se emplea el término tautología para referirse a aquellos
enunciados autoevidentes, obvios o redundantes, o sea, que resultan verdaderos desde cualquier posible
interpretación, pues se explican y afirman a sí mismos. Por ello, una tautología es un argumento falaz,
inválido, vacío.
- Los tres puntos (.:) representan las palabras "Por lo tanto", e indican que q es la
conclusión de las premisas, las cuales aparecen por encima de la linea horizontal. Esta
regla srge cuando argumentamos que si (1)p es verdadera y (2)p->q es verdadera (o
P -> Q), entonces la conclusión q tambien debe ser verdadera.
- Antes de terminar el análisis de nuetra primera regla
de inferencia haremos una ultima observacion.
- Tautologia
- Cuando p, q son proposiciones arbitrarias y p -> q, la implicacion p -> q es una tautologia y
decimos que p -> q es una implicacion logica.
- Leyes de la lógica
- Regla de separación (Modus ponens), Ley del Silogismo, Modus Tollens, Regla de la conjuncion, Regla
del Silogismo disyuntivo, Regla de contradiccion, Regla de simplificacion conjuntiva, Regla de
amplificacion disyuntiva, Regla de demostracion condicional, Regla de demostracion por casos,
Regla del dilema constructivo y Regla del dilema destructivo.
- 1.- Reglas de inferencia
- Proposiciones primitivas
- Premisas
- Argumento
- Tabla de verdad
- 2.- Ley del Silogismo
- Ya no necesitamos preocuparnos por lo que represente
las proposiciones. Nuestro objetivo es usar las dos reglas
de inferencia que hemos estudiado hasta ahora para
deducir la verdad de la proposición.
- En lógica matemática, la ley del silogismo dice que si los siguientes dos enunciados son
verdaderos: (1) Si p, entonces q . (2) Si q, entonces r . Entonces podemos derivar un
tercer enunciado verdadero: (3) Si p, entonces r .
- Ya no necesitamos preocuparnos por lo que represente
las proposiciones. Nuestro objetivo es usar las dos reglas
de inferencia que hemos estudiado hasta ahora para
deducir la verdad de la proposición.
- 3.- Modus Tollens
- Esto se obtiene de una implicacion logica. Modus
Tollens viene del latin y puede traducirse como
"metodo de negacion". Este nombre se debe a que
negamos la conclusion, q, para demostrar ¬P.
- Esto se obtiene de una implicacion logica. Modus
Tollens viene del latin y puede traducirse como
"metodo de negacion". Este nombre se debe a que
negamos la conclusion, q, para demostrar ¬P.
- 1.- Modus Ponens
- El modus ponendo ponens es un tipo de
argumento lógico, de inferencia razonada,
perteneciente al sistema formal de las reglas
de deducción de la conocida lógica
proposicional. Esta estructura argumentativa
es la pauta inicial que se transmite en la lógica
proposicional y se relaciona directamente con
los argumentos condicionales.
- El modus ponendo ponens es un tipo de
argumento lógico, de inferencia razonada,
perteneciente al sistema formal de las reglas
de deducción de la conocida lógica
proposicional. Esta estructura argumentativa
es la pauta inicial que se transmite en la lógica
proposicional y se relaciona directamente con
los argumentos condicionales.
- Proposiciones primitivas
- 1.- Reglas de inferencia
- Regla de separación (Modus ponens), Ley del Silogismo, Modus Tollens, Regla de la conjuncion, Regla
del Silogismo disyuntivo, Regla de contradiccion, Regla de simplificacion conjuntiva, Regla de
amplificacion disyuntiva, Regla de demostracion condicional, Regla de demostracion por casos,
Regla del dilema constructivo y Regla del dilema destructivo.
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.