&(y; significa “tanto ______ como ______”) ∨(o; significa “______ o ______”) ⇒(implica; significa “Si ______ entonces ______”) ⇔(iff; significa “______ si y...&(y; significa “tanto ______ como ______”) ∨(o; significa “______ o ______”) ⇒(implica; significa “Si ______ entonces ______”) ⇔(iff; significa “______ si y solo si ______”) Determinar si una aserción es verdadera (para valores particulares de sus variables) conmutatividad de&,∨, y⇔ asociatividad de& y∨ reglas de introducción y eliminación para&∨, y⇔
