)) ((rqp ∨∧¬
) () ( qp q p ∨¬= ⇒ ) ( ) ( q p qp ¬∨¬¬=∧ 9 )) () (() ( pq qp qp
(lógica I teoría de conjuntos)
(lógica I tema Boole)
"un lenguaje de" -gnu -else -tarde
"Siempre hay alguien a quien todos aman." El orden
"en lógica"
p ⇒ q
p → q
p - Ediciones Zorrilla
orígenes y caracteres de la lógica clásica
Oración y proposición
operadores logicos y tablas de verdad
Operaciones con Proposiciones
objetodeestudio2
número número demostración
NUEVO LogicTema4b
nuevo
nueVa lógIca, razón y exIstencIa
notas-Logica-y-conjuntos
