arabelrosales7 arabelrosales7 15-04-2024 Matemáticas contestada Definimos el conector lógico. p@q=[p→(p^q)]→p Reducir: [p^q]@[~(~p@q) → (q^ ~p)]