Introduccin a la logica

IMPORTANCIA DE LA LÓGICA ,[object Object],[object Object],[object Object],[object Object]

DEFINICIONES DE LÓGICA ,[object Object],[object Object],[object Object],[object Object]

¿QUÉ NO ES LA LÓGICA? ,[object Object],[object Object],[object Object],[object Object]

¿QUÉ ES LA LÓGICA? ,[object Object],[object Object],[object Object],[object Object]

TÉRMINOS CLAVES DE LA LÓGICA ,[object Object],[object Object],[object Object],[object Object],[object Object]

PROPOSICIÓN ,[object Object],[object Object],[object Object]

ESTRUCTURA DE LOS RAZONAMIENTOS ,[object Object],[object Object]

INFERENCIA ,[object Object],[object Object],[object Object],[object Object]

IMPLICACIÓN ,[object Object],[object Object]

FALACIA ,[object Object],[object Object]

VERDAD Y VALIDEZ ,[object Object],[object Object]

PRINCIPIOS DE LA LÓGICA FORMAL ,[object Object],[object Object],[object Object]

LÓGICA COMPUTACIONAL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

PROPOSICIÓN ATÓMICA ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

PROPOSICIÓN MOLECULAR ,[object Object],[object Object]

PROPOSICIONES MOLECULARES ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

SIMBOLIZACIÓN ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

SIMBOLIZACIÓN ,[object Object],[object Object],[object Object],[object Object]

SIMBOLIZACIÓN ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

SIMBOLIZACIÓN ,[object Object],[object Object],[object Object],[object Object],[object Object]

TABLA DE VERDAD ,[object Object]

NEGACIÓN ,[object Object],[object Object],[object Object]

CONJUNCIÓN ,[object Object],[object Object],[object Object]

DISYUNCIÓN ,[object Object],[object Object],[object Object]

CONSTRUCCIÓN DE TABLAS DE VERDAD ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

PROPOSICIONES MOLECULARES ,[object Object],[object Object],[object Object],[object Object]

TAUTOLOGÍA ,[object Object],[object Object]

CONTRADICCIÓN ,[object Object],[object Object]

CONTINGENCIA ,[object Object],[object Object]

EJEMPLO: p q p v q p v q V V V F V F V F F V V F F F F V p q p q p ^ q V V F F F V F F V F F V V F F F F V V V

LEYES DE DE MORGAN ,[object Object],[object Object],[object Object],[object Object]

PROPOSICIÓN CONDICIONAL ,[object Object],[object Object],[object Object]

PROPOSICIÓN CONDICIONAL ,[object Object],[object Object],[object Object],[object Object],[object Object]

TABLA DE VERDAD DEL CONDICIONAL La implicación de p a q es falsa únicamente en el caso de que el antecedente p sea verdadero y que el consecuente q sea falso p q p  q V V V F V V V F F F F V

PROPOSICIÓN CONDICIONAL ,[object Object],[object Object],[object Object],[object Object]

DISTINTAS FORMAS DE INDICAR UNA PROPOSICIÓN CONDICIONAL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

PROPOSICIÓN BICONDICIONAL ,[object Object],p q p  q V V V V F F F V F F F V

p  q  (p  q) ^ (q  p) p q p  q q  p (p  q) ^ (q  p) V V V V V V F F V F F V V F F F F V V V

TABLA DE VERDAD DE ( (p  q) ^ p )  q La tabla indica que el razonamiento es correcto independientemente de las proposiciones utilizadas p q p  q (p  q) ^ p ( (p  q) ^ p )  q V V V V V V F F F V F V V F V F F V F V

FORMA GENERAL DE RAZONAMIENTO ,[object Object]

Introduccin a la logica

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (19)

Destacado

Destacado (20)

Similar a Introduccin a la logica

Similar a Introduccin a la logica (20)

Más de Colegio Agropecuario de San Carlos

Más de Colegio Agropecuario de San Carlos (20)

Introduccin a la logica