Diferencia entre revisiones de «Lógica proposicional/Deducciones directas»

{{cita libro |apellido=Aho, |nombre2=Alfred V.; |apellido2=Ullman, |nombre2=Jeffrey D. |año=1994 |título=Foundations of Computer Science: C Edition |url=http://i.stanford.edu/~ullman/focs.html [en línea].|páginas=786 |edición=1.ª ed.|lugar=Estados Unidos |editorial=W. H. Freeman., 1994,|idioma=inglés 786p.|isbn= Consultado: 2015978-12071-23.67-8284-1 Disponible en: http://i.stanford.edu/~ullman/focs.html}}

Klement,{{cita Kevinweb |url=http://www.iep.utm.edu/prop-log/ |título=Propositional Logic [En|fechaacceso=11 línea].de Massachusetts,diciembre Estadosde Unidos:2015 |apellido=Klement |nombre=Kevin |sitioweb=The Internet Encyclopedia of Philosophy. Consultada:|ubicación=Massachusetts, 2015-12-10.Estados DisponibleUnidos en: http://www.iep.utm.edu/prop-log/|idioma=inglés}}