Ultimo paso
Para finalizar con todo el tema de la lógica proposicional, vamos a desarrollar un último tema: condicionales asociados. Condicionales Asociados A partir del condicional p ⇒ q , que llamaremos directo , se pueden obtener otros mediante permutaciones o negaciones del antecedente y consecuente. Directo: p ⇒ q Recíproco: q ⇒ p Contrario: ~p ⇒ ~q Contrarrecíproco: ~q ⇒ ~p Importante: cabe destacar que existe una equivalencia lógica de p ⇒ q con su contrarrecíproco ~q ⇒ ~p , por lo que se afirma, que dada cualquier proposición compuesta en la que esté involucrado un condicional, esta tendrá una proposición equivalente a la misma que será su contrarrecíproco. Como ya se desarrolló el ultimo tema, quiere decir que ya puedes realizar las actividades tres ultimas actividades del Trabajo Práctico, que como ya dijimos se encuentra en la bibliografía . Y con esto llegamos al final del tema de la lógica proposicional, espero te haya servido todo lo expuesto hasta aquí, cualquier duda que teng...