EJERCICIOS RESUELTOS DE INTRODUCCIÓN A LA LÓGICA€¦ · o o o o o o o o o o o Los antepasados de Dora son antepasados de Ester: Yx(Txd —+ Txe). Hay quienes tienen hijos y quienes

Alfonso García Lapeña

EJERCICIOS RESUELTOS DE INTRODUCCIÓN A LA LÓGICA

2017, UB


TEMA 1: EL CONCEPTO DE CONJUNTO



TEMA 2: OPERACIONES CON CONJUNTOS







TEMA 3: RELACIONES



TEMA 12: SINTAXIS DE LOS LENGUAJES DE PRIMER ORDEN


TEMA 13: SEMÁNTICA DE LOS LENGUAJES DE PRIMER ORDEN














TEMA 14: VERDAD, EQUIVALENCIA Y CONSECUENCIA LÓGICA



EJERCICIOS EXRTA DE SATISFACIBILIDAD Y CONSECUENCIA

LÓGICA



EJERCICIOS DE SIMBOLIZACIÓN


Documents

EJERCICIOS RESUELTOS DE INTRODUCCIÓN A LA LÓGICA€¦ · o o o o o o o o o o o Los antepasados de Dora son antepasados de Ester: Yx(Txd —+ Txe). Hay quienes tienen hijos y quienes