Question

Dadas las proposiciones:
p: Marco es comerciante
q: Marco es un próspero industrial
r: Marco es ingeniero
Simbolizar el enunciado:
"Si Marco es un comerciante y un próspero industrial,
entonces es ingeniero o no es comerciante".

Answer 1

 Si ¬(p^q) -> (r ^ ¬p)