Nº Ejercicios de lógica proposicional   Ejercicios tomados de Pérez Sedeño, Eulalia: Ejercicios de Lógica, s. XXI Ejercicios tomados de Montaner Pedro y Arnau Hilari: Teoría y práctica de la lógica proposicional, Vicens-Vives Otros ejercicios     Ejercicios tomados de Pérez Sedeño, Eulalia: Ejercicios de Lógica, s. XXI. 1 EC, ID, DN, IC -1 (s -> t) & (r & t) 2 s -> t EC 1 3 r & t EC 1 4 r EC 3 5 (s -> t) & r IC 2,4 I- (s -> t) & r 2 EC, ID, DN, IC -1 (p & q) … Continúa leyendo Soluciones a los ejercicios de Lógica proposicional

Ejercicios de lógica Ejercicios de cálculo proposicional tomados de Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI de España Editores, 1991. Ejercicios de cálculo proposicional tomados de Pedro Montaner, Hilari Arnau: Teoría y práctica de la lógica proposicional. 3ª ed. Barcelona: Vicens-Vives, 1997 Más ejercicios de cálculo proposicional Nº Ejercicios de cálculo proposicional tomados de Pérez Sedeño, Eulalia: Ejercicios de Lógica, s. XXI. 1 EC, ID, DN, IC -1 (s -> t) & (r & t) I- (s -> t) & r 2 EC, ID, DN, IC -1 (p & q) & (r & s) I- p & r … Continúa leyendo Selección de ejercicios de Lógica proposicional

EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIÓN MÁS TABLAS DE VERDAD Construya la tabla de verdad de las siguientes fórmulas. Indique qué fórmulas son tautológicas, cuáles contradictorias y cuáles indeterminadas. 1. p & q -> p V V V V V V F F V V F F V V F F F F V F TAUTOLOGÍA 2. ( p -> q ) & ( p & ¬ q ) V V V F V F F V V F F F V V V F F V V F F F F V F V F F F F … Continúa leyendo Ejercicios resueltos de tablas de verdad y formalización