https://padlet.com/camiortiz786/Bookmarks en-us 2021-02-04 18:26:48 UTC 2021-05-22 03:05:43 UTC hello@padlet.com camiortiz786 https://padlet.com/camiortiz786/Bookmarks/wish/1549561272 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-22 01:44:46 UTC https://padlet.com/camiortiz786/Bookmarks/wish/1549561272 camiortiz786 https://padlet.com/camiortiz786/Bookmarks/wish/1549609428  1. MODUS PONENDO PONENS (MPP)  1. p > q
 2. p _______________ q
 Esta ley nos indica que si en una premisa se tiene p > q y en otra premisa aparece p, se puede concluir q. Es decir, que si en un proceso de deducción, demostramos el antecedente p, podemos demostrar el consecuente q  Esta ley sólo se aplica al condicional.
MODUS TOLLENDO TOLLENS (MTT)  1. p > q
 2. ¬ q ___________ ¬ p
 Con esta ley podemos observar que si se tiene una premisa . p > q y en otra premisa nos encontramos ¬ q se puede deducir directamente ¬ p. Es decir, si en una deducción natural encontramos un condicional, luego su consecuente negado. Podemos negar también el antecedente. Esta ley sólo se aplica al condicional.
SILOGISMO HIPOTÉTICO (SH)
 1. p > q
 2. q > r _______________ p > r
 Lo que señala esta ley es que si se tiene una premisa p > q y otra q > r se pude deducir p > r. El silogismo hipotético sólo se aplica al condicional.
SILOGISMO DISYUNTIVO (SD)
 1. p V q
 2. ¬ p _______________ q
TAMBIÉN  1. p V q  2. ¬ q _____________ p 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. Esta regla sólo se aplica a la disyunción5. ADICIÓN (ADI)
 1. p _______________ p V q  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  Esta regla sólo se aplica a la disyunción ]]> 2021-05-22 02:43:08 UTC https://padlet.com/camiortiz786/Bookmarks/wish/1549609428 camiortiz786 https://padlet.com/camiortiz786/Bookmarks/wish/1549626907  SIMPLIFICACIÓN (SIM)
 1. p ^ q _______________ p también
 1. p ^ q ___________________ q Las dos formas de esta ley indican que si se tiene una premisa p ^ q, se puede deducir tanto p como q Esta ley sólo se aplica a la conjunción
CONJUNCIÓN (CONJ)
 1. p
 2. q __________ p ^ q
 Si se tiene una premisa p y una premisa q se puede juntar ambas premisas mediante una conjunción para concluir p ^ q  Esta ley sólo se aplica a la conjunción
DILEMA CONSTRUCTIVO (DC)  1. (p > q ) ^ (r > s)  2. p V r ________________________ q V s  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 Esta ley combina tres conectivas : >, ^, v.
DILEMA DESTRUCTIVO (DD)
 1. (p > q) ^ (r > s)
 2 ¬ q V ¬ s _______________________
 ¬ p V ¬ r
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)
 1- p > q 
 ________________
  p > ( p ^ q) 
 Esta ley afirma que si se tiene una premisa p > q se puede deducir p > ( p ^ q) ]]> 2021-05-22 03:04:55 UTC https://padlet.com/camiortiz786/Bookmarks/wish/1549626907