3328468
Descripción
Mapa Mental por Hector Galvis, actualizado hace más de 1 año
|
Creado por Hector Galvis
hace más de 9 años
|
|
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
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.