Matemáticas Discretas

revisamos conceptos claves de equivalencia lógica, la cuál a su ves está compuesta por una serie de leyes como lo son:

• doble negación
• conmutativa
• asociativaq
• de Morgan
• contaposición
• implicación material
• bicondicional

también vimos las reglas de inferencia como son:

• MPP
• MTT
• SH
• SD
• ADJ O CONJ
• SIMP
• ADI