https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh Hecho con cerebro lógico en-us 2021-05-18 05:17:34 UTC 2025-10-19 17:15:15 UTC hello@padlet.com https://padlet.net/icons/png/1f603.png pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534247591 Esta ley nos indica que si en una premisa se tiene p > q y en otra premisa aparece p, se puede concluir q. ]]> 2021-05-18 05:22:28 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534247591 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534248341 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. ]]> 2021-05-18 05:22:47 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534248341 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534248824 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.]]> 2021-05-18 05:22:59 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534248824 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534249405  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ón ]]> 2021-05-18 05:23:12 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534249405 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534250216 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-18 05:23:33 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534250216 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534250815  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 ]]> 2021-05-18 05:23:49 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534250815 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534252147  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 ]]> 2021-05-18 05:24:23 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534252147 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534252794  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]]> 2021-05-18 05:24:40 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534252794 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534253938  Esta ley afirma que si se tiene una premisa p > q se puede deducir p > ( p ^ q) ]]> 2021-05-18 05:25:06 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534253938 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534255699  En lógica proposicional, una doble negación implica una afirmación.
* ¬¬p equivale a p 
* p equivale a ¬¬p ]]> 2021-05-18 05:25:50 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534255699 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534256463  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) ]]> 2021-05-18 05:26:09 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534256463 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534256922 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 ]]> 2021-05-18 05:26:22 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534256922 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534257510  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) ]]> 2021-05-18 05:26:38 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534257510 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534258022  Nos permite intercambiar de posición los términos en una conjunción^ y en una disyunciónV.  *p ^ q equivale a q ^ p 
*p V q equivale a q V p ]]> 2021-05-18 05:26:51 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534258022 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534258378  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-18 05:27:02 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534258378 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534263020 2021-05-18 05:28:55 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1534263020 pargaloerajoseramon https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1541451663  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 ]]> 2021-05-19 21:27:01 UTC https://padlet.com/pargaloerajoseramon/37b1mbak7ne3f0fh/wish/1541451663