Está en la página 1de 8

LGICA

Jos Pedro beda Rives


Jose.P.Ubeda@uv.es
Departamento de Lgica y Filosofa de la Ciencia
Universidad de Valencia
Concepto de Lgica
Argumentos

La lgica es el estudio de los argumentos, su validez y


deducibilidad

Un argumento consiste de

Un conjunto de premisas

Un marcador de inferencia

Una conclusin

Formalmente puede representarse como

es el conjunto de premisas

es el marcador de inferencia

es la conclusin

Ejemplos

Esquemas argumentales. Ejemplos


Concepto de Lgica
Validez de un argumento

el argumento es vlido si y slo si

siempre que todas las premisas en son verdaderas

la conclusin tambin es verdadera

es decir

en toda situacin en la que todas las premisas de sean


verdaderas

tambin es verdadera

es imposible que todas las premisas de sean


verdaderas y la conclusin sea falsa
Concepto de Lgica
Validez: exigencias

qu son las premisas y la conclusin?

ciertas expresiones de un lenguaje: frmulas


En lenguaje natural, oraciones verdaderas o falsas

slo tratamos con frmulas de un lenguaje simple pero con


gran poder expresivo, denominado lenguaje de predicados
de primer orden

qu signica es verdadera en la situacin A

Una situacin consiste de un conjunto de individuos,


universo de discurso,

junto con una correlacin de palabras o smbolos no


lgicos con individuos y relaciones entre individuos
Concepto de Lgica
Pruebas

Un argumento puede ser vlido sin que su validez sea


obvia

Para demostrar la validez de un argumento se necesita


una prueba

Una prueba es una representacin detallada de una


transicin

desde las premisas tomadas como puntos de partida

hasta su conclusin

se realiza por medio de pasos o inferencias

Si es obvio que en cada uno de los pasos se conserva la


verdad, habremos mostrado que el argumento es correcto
Concepto de Lgica
Prueba

Una prueba debe satisfacer las siguientes condiciones:

debe ser de tamao nito

cada uno de sus pasos debe ser efectivamente reconocible


como realizado o permitido por una inferencia

debemos ser capaces de establecer efectivamente a partir


de la prueba cuales son las premisas y la conclusin
Concepto de Lgica
Sistema de deduccin

Un sistema de pruebas es una codicacin de clases de


inferencia obviamente vlidas: las reglas de inferencia

Objetivos ideales al construir un sistema de pruebas

no debe poderse construir pruebas invlidas en el sistema:


el sistema debe ser correcto (consistente, adecuado)

debe ser posible probar cualquier argumento vlido


expresable en el lenguaje:
el sistema debe ser completo para el lenguaje

Sistemas que estudiamos

Sistema de deduccin natural

Sistema de las tablas semnticas


Lgica en miniatura
Sistema de deduccin

Enunciados y situaciones.

Conectivas. Le sniewski

Conectiva mayoria

Completud funcional

Lenguajes

Tautologas, contradicciones y contingencias