3328468
Beschreibung
Mindmap von Hector Galvis, aktualisiert more than 1 year ago
|
Erstellt von Hector Galvis
vor fast 9 Jahre
|
|
Reglas de inferencia logica
- 5. Silogismo Hipotetico Puro (SHP)
- Sentencia condicional - premisas
- P1: p → q P2: q → r / C: p → r
- P1: p → q P2: q → r / C: p → r
- Sentencia condicional - premisas
- 4.Modus Ponendo Tollens (MPT)
- Forma valida de argumento
- P1: p ^ q P2: p / C: ~ q
- P1: p ^ q P2: p / C: ~ q
- Forma valida de argumento
- 1.Modus Ponendo Ponens (MPP)
- Eliminacion del implica
- P1: p → q P2: p / C: q
- P1: p → q P2: p / C: q
- Eliminacion del implica
- 7.Dilema Destructivo Compuesto (DDC)
- Disyuncion de la negacion de los antecedentes
- P1: p → q P2: r → s P3: q v r / c: ~ p v ~ r
- P1: p → q P2: r → s P3: q v r / c: ~ p v ~ r
- Disyuncion de la negacion de los antecedentes
- 3.Modus Tollendo Pones (MTP)
- Silogismo disyuntivo
- P1: p v q P2: ~ p / C: ~ q ------ P1: p v q P2: ~ q / C: p
- P1: p v q P2: ~ p / C: ~ q ------ P1: p v q P2: ~ q / C: p
- Silogismo disyuntivo
- 2.Modus Tollendo Tollens (MTT)
- Negacion del consecuente
- P1: p → ~ q P2: ~ q / C: ~ p
- P1: p → ~ q P2: ~ q / C: ~ p
- Negacion del consecuente
- 6.Dilema Constructivo Compuesto (DCC)
- Disyuncion de los consecuentes
- P1: p → q P2: r → s P3: p V r / C: q v s
- P1: p → q P2: r → s P3: p V r / C: q v s
- Disyuncion de los consecuentes
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.