ObtenerÊlaÊexpresiónÊresultanteÊalÊnegarÊ
∃𝑥∀𝑦(2𝑥 ≤ 1 − 𝑦) → ∃𝑦∀𝑥 (𝑥 − 𝑦 < 3)
RAZONAMIENTOS
"AlgunosÊpÊsonÊq"ÊpuedeÊserÊinterpretadoÊdeÊdosÊmaneras
PROPIEDADES DE LOS PREDICADOS
DETERMINARÊLAÊVALIDEZÊDELÊSIGUIENTEÊ
RAZONAMIENTO
TodosÊlosÊmatemáticosÊsonÊpersonasÊinteresantes.
NingúnÊvendedorÊdeÊsegurosÊesÊmatemático.
ExistenÊmatemáticosÊqueÊsonÊprofesores.
EnriqueÊesÊprofesor.
PorÊloÊtanto,ÊEnriqueÊnoÊvendeÊseguros