LOGICA PROPOSICIONAL

ESTUDIANTEDANESSA DE JESUS AMARIS ROJASCODIGO 1051656607

GRUPO N 200611_30

TUTORALVARO IVAN RAMIREZ POSADA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTACIA (UNAD)PENSAMIENTO LOGICO Y MATEMATICO15 DE MAYO 2015

1. Represente simblicamente (utilizando los conectivos lgicos) cada razonamiento y hacer la respectiva tabla de verdad:

a. a. Si tuvieran que justificarse ciertas acciones por su relevante tradicin entonces, si estas acciones son inocuas y respetan a todo ser vivo y al medio ambiente, no habra ninguna dificultad. Pero si las acciones son crueles o no respetuosas con los seres vivientes o el medio ambiente, entonces habra que dejar de considerarnos dignos de nuestro tiempo.Solucin:Conectores lgicosConjuncin: ^ y se representa el valor de la letra YDisyuncin: V y se representa el valor de la letra OImplicacin: = > y representa la palabra entoncesBicondicional: y representa si y solo siNegacin: y representa NOValores de verdad Verdad: VFalso: F

Daremos a conocer las tablas

Tabla de Negacin: Dice que si una proposicin es verdadera su negacin es falsa y si una preposicin es falsa su negacin es verdadera.P P

VF

FV

Tabla de Conjuncin: Dice que cuando dos proposiciones son verdaderas su conjuncin es verdadero, el resto de proporciones sern falsas.PQP^Q

VVV

VFF

FVF

FFF

Tabla de disyunciones: Cuando una de las proposiciones es verdadera o cuando ambas lo son su resultado es verdadero y cuando ambas son falsas darn como resultado falso PQPvQ

VVV

VFV

FVV

FFF

Tabla de la Condicionalidad: Cuando la primera proposicin es verdadera y la segunda es falsa su resultado es falso, el resto ser verdadero.PQP=>Q

VVV

VFF

FVV

FFV

Tabla Bicondicional: Si ambas proposiciones resultan ser verdaderas, su valor es verdadero, caso contrario serian falsas.PQPQ

VVV

VFF

FVF

FFV

Premisas: p: justificar ciertas acciones por su relevante tradicinq: acciones son inocuasr: respetan a todo ser vivo y el medio ambientes: dignos de nuestro tiempo.

Numero de variables 2 hay 4 variables2elevado a la 4 = 16{[p=> (q^ r)] ^ (q v r) } => ( p v s)Realizaremos la Tabla de la verdad pqrsq ^rq v rp v s

VVVVVF F FF F F

VVVFVF F FF V V

VVFVVF V VF F F

VVFFVF V VF V V

VFVVVV V FF F F

VFVFVV V FF V V

VFFVVV V VF F F

VFFFVV V VF V V

FVVVVF F FV V F

FVVFVF F FV V V

FVFVVF V VV V F

FVFFVF V VV V V

FFVVFV V FV V F

FFVFFV V FV V V

FFFVFV V VV V F

FFFFFV V VV V V

1. Decidir utilizando las tablas de verdad si este argumento es o no vlido, es decir, evidenciar que la tabla que se obtiene es una tautologa o no: 2. Si usted es autosuficiente entonces sus acciones no estn determinadas por eventos previos. En estas circunstancias, sus acciones 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.SolucinProposicinp: ser autosuficienteq : estar determinadas las acciones por eventos propiosr: tener acciones predecibless: ser posible anticipar las consecuencias de las acciones y lo que nos dices es.Realizamos la Tabla de la Verdad[(p=>q) ^ (r ^ s)] => ( p=> s)pqrs[(p => q) ^ (r ^ s)]p=> s

VVVVV F F F F FV F F

VVVFV F F F F VV V V

VVFVV F F V F FV F F

VVFFV F F V V VV V V

VFVVV F F F F FV F F

VFVFV F F F F VV V V

VFFVV F F V F FV F F

VFFFV F F V V VV V V

FVVVF V V F F FV F F

FVVFF V V F F VV V V

FVFVF V V V F FV F F

FVFFF V V V V VV V V

FFVVF V V F F FV F F

FFVFF V V F F VV V V

FFFVF V V V F FV F F

FFFFF V V V V VV V V

Respuesta: la frmula es una contingencia ya que como lo muestra la tabla de la verdad su respuesta puede ser falsa o verdadera.

3. Identifica en el siguiente silogismo las diferentes proposiciones categricas, y proponer una representacin mediante diagramas de Venn de las diferentes relaciones entre las clases implicadas, segn las proposiciones categricas: Ningn ser aptico es ambicioso. Porque es un hecho que ninguno de ellos es cientfico y tambin es un hecho que todo cientfico es ambiciosoSolucinr: ningn ser aptico es ambiciosos: es un hecho que ninguno de ellos es cientficop: es un hecho que todo cientfico es ambicioso

U= Ser humano

A DC

A: apticoC: cientficoD: ambicioso