REGLAS DE INFERENCIA Y REGLAS DE EQUIVALENCIA by Itzel Sandoval https://padlet.com/noeliaitzel13/889z3wyx1masjs83 Noelia Itzel Sandoval Hernández 4BCI en-us 2021-02-23 17:32:51 UTC 2025-10-03 17:44:30 UTC hello@padlet.com MÉTODO DE DEDUCCIÓN NATURAL noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537873498  La Deducción NATURAL consiste en demostrar la validez de cualquier argumento siguiendo una serie de reglas o principios conocidos como leyes lógicas ]]> 2021-05-19 00:21:03 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537873498 Reglas de inferencia para el condicional noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537887948 1. MODUS PONENDO PONENS (MPP) 
 Esta ley nos indica que si en una premisa se tiene p > q y en otra premisa aparece p, se puede concluir q. 
2. MODUS TOLLENDO TOLLENS (MTT) 
 p > q y en otra premisa nos encontramos ¬ q se puede deducir directamente ¬ p. 
3.  SILOGISMO HIPOTÉTICO (SH)
 Lo que señala esta ley es que si se tiene una premisa p > q y otra q > r se pude deducir p > r. 
]]> 2021-05-19 00:29:02 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537887948 Reglas de inferencia para la disyunción noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537902350 1.  SILOGISMO DISYUNTIVO (SD) 
Esta ley se puede presentar de dos formas y nos indica que en una disyunción si negamos alguno de los dos términos se pude deducir el otro termino afirmado. 
2.  ADICIÓN (ADI) 
Esta ley nos indica que si tenemos la premisa p le podemos adicionar cualquier otra proposición (la que sea) por medio de la disyunción p V q 
]]> 2021-05-19 00:37:56 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537902350 Reglas de inferencia para la conjunción noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537905933 1.  SIMPLIFICACIÓN (SIM) 
Las dos formas de esta ley indican que si se tiene una premisa p ^ q, se puede deducir tanto p como q 
2. CONJUNCIÓN
Si se tiene una premisa p y una premisa q se puede juntar ambas premisas mediante una conjunción para concluir p ^ q 
]]> 2021-05-19 00:40:12 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537905933 Reglas de inferencia que combina tres conectivas : >, ^, v noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537908794 1.  DILEMA CONSTRUCTIVO (DC)
Si se tiene una primera premisa (p > q ) ^ (r > s) y una segunda premisa p V r que son los antecedentes de los condicionales de la primera premisa, se concluye q V s que son los consecuentes de la primera premisa 
2. DILEMA DESTRUCTIVO (DD)
 Esta ley consta de una primera premisa (p > q) ^ (r > s) y de una segunda premisa ¬ q V ¬ s que resultan ser los consecuentes negados de la primera premisa, esto nos permite deducir ¬ p V ¬ r que son los antecedentes negados de la primera premisa 
ABSORCIÓN (ABS) 
Esta ley afirma que si se tiene una premisa p > q se puede deducir p > ( p ^ q) 
]]> 2021-05-19 00:42:00 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537908794 REGLAS DE INFERENCIA- Estructura ejemplos noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537915310 Material proporcionado por la maestra María Elena. ]]> 2021-05-19 00:45:50 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537915310 REGLAS DE EQUIVALENCIA noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537918561 Las reglas de equivalencia o de reemplazo nos permiten sustituir una expresión bien formada de la lógica, en una derivación, si ambas proposiciones son equivalentes y se demuestra dicha equivalencia mediante sus tablas de valor de verdad ]]> 2021-05-19 00:47:51 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537918561 Reglas de equivalencia: noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537919649  Doble negación (DN) 
En lógica proposicional, una doble negación implica una afirmación  
  • ¬¬p equivale a p 
  • p equivale a ¬¬p 
Teorema de Morgan (TM) 
Nos permite cambiar la conjunción por la disyunción y viceversa ^/ v; v/^, negando los dos términos y toda la expresión 
  • p ^ q equivale a ¬(¬ p V ¬q) 
  • P V Q equivale a ¬(¬p ^ ¬q) 
Implicación material (IM)
 Nos permite cambiar el condicional por la disyunción y viceversa >/ v; v/> negando el antecedente 
  • p > q equivale a ¬p V q 
  • q V p equivale a ¬p > q 
Tercera regla de reemplazo (TRR)
Nos permite cambiar la conjunción ^ por el condicional > y viceversa, negando el consecuente y toda la expresión 
  • p > q equivale a ¬ (p ^ ¬q) 
  • p ^ q equivale a ¬(p > ¬q) 
Conmutación (CONM) 
 Nos permite intercambiar de posición los términos en una conjunción^ y en una disyunción V 
  • p ^ q equivale a q ^ p 
  • p V q equivale a q V p 
Transposición (TRANS)
 Se aplica al condicional > y nos permite cambiar de posición el antecedente y el consecuente. La condición es que ambos deben ser negados 
  • (p > q) equivale a (¬q > ¬p)
  • (¬q > ¬p) equivale a (p > q) 
]]> 2021-05-19 00:48:32 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537919649 REGLAS DE EQUIVALENCIA-Material noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537931537 2021-05-19 00:56:08 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537931537 Ejemplos de reglas de inferencia noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537935263 2021-05-19 00:58:32 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537935263 Ejemplos de reglas de equivalencia noeliaitzel13 https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537936186 2021-05-19 00:59:09 UTC https://padlet.com/noeliaitzel13/889z3wyx1masjs83/wish/1537936186