200611A 16 TRABAJO COLABORATIVO N 2

TRABAJO COLABORATIVO Nº 2
LÓGICA PROPOSICIONAL



FENER MARIN LÓPEZ DAZA CÓD: 17588908
YOLIMA EUGENIA RECALDE COD: 25286951
DANIEL REYES
MARYURY TIZZAS


GRUPO 200611A_16



TUTOR
ING. ALVAROIVAN RAMIREZ



MÓDULO
PENSAMIENTO LOGICO Y MATEMATICO



UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA -UNAD
INGENIERÍA DE TELECOMUNICACIONES
ARAUCA, MAYO DE 2015
INTRODUCCION

En el presente trabajotrataremos de profundizar más a cerca de la Lógica Matemática, por ello realizaremos ejercicios donde aplicaremos los conceptos aprendidos sobre razonamiento deductivo e inductivo y sus aplicaciones,tendremos en cuenta las proposiciones simples y compuestas con más de tres premisas, así mismo veremos las demostraciones de estos conceptos reflejados en las tablas de la verdad derivando lasinferencias lógicas y la validez, la posibilidad y la falsedad.




















TRABAJO COLABORATIVO Nº 2
LÓGICA PROPOSICIONAL

1. Represente simbólicamente (utilizando los conectivos lógicos) cadarazonamiento y hacer la respectiva tabla de verdad:
(p) Si tuvieran que justificarse ciertas acciones por su relevante tradición entonces,
(q) si estas acciones son inocuas y
(r) respetan a todo ser vivoy al medio ambiente
(r) dignos de nuestro tiempo


[(p → (q ᴧ r)] ᴧ (~ q ν ~ r)] → (~ p ν ~ s)

TABLA DE LA VERDAD




2. Decidir utilizando las tablas de verdad si este argumento es o no válido, esdecir, evidenciar que la tabla que se obtiene es una tautología o no:

Si usted es autosuficiente entonces sus acciones no están determinadas por eventos previos. En estas circunstancias, susacciones no son predecibles y no es posible anticipar las consecuencias de ellas. En consecuencia, si usted es autosuficiente, las consecuencias de sus acciones no se pueden anticipar.

p = Serautosuficiente
q = estar determinadas las acciones por eventos previos
r = tener acciones predecibles
s = ser posible anticipar las consecuencias de las acciones


TABLA DE LA VERDAD



3. Identifica en el...