REPRESENTACIN DEL

CONOCIMIENTO Y
RAZONAMIENTO
3.4.3 VALIDEZ

Ana Patricia Badillo Cerros

11040387
Inteligencia Artificial

La validez es una propiedad que tienen los

argumentos cuando las premisas implican la
conclusin.
Si la conclusin es una consecuencia lgica
de las premisas, se dice que el argumento
es deductivamente vlido.
Sin embargo, se consideran que puede
haber argumentos vlidos que no sean
deductivamente
vlidos,
como
las
inducciones.

Ejemplos de argumentos deductivamente

vlidos son los siguientes:
1. Si est soleado, entonces es de da.
2. Est soleado.
3. Por lo tanto, es de da.

1. Si no es lunes, entonces es martes.

2. No es lunes.
3. Por lo tanto, es martes.

Hay que aclarar que para que un argumento

sea deductivamente vlido, no es necesario
que las premisas o la conclusin sean
verdaderas. Solo se requiere que la
conclusin sea una consecuencia lgica de
las premisas.

La lgica formal establece una relacin

condicional entre las premisas y la conclusin:
-Si las premisas son verdaderas, entonces la
conclusin tambin lo es.

Demostracin de la validez de un argumento

Un argumento es vlido cuando tiene la forma de un

esquema de argumento vlido. Considrese el siguiente
argumento
O es de da o es de noche.
No es de da.
Por lo tanto, es de noche.
Estos argumentos son vlidos porque ambos tienen la forma
de un silogismo disyuntivo, el cual es un esquema de
argumento vlido:
O p o q.
No p.
Por lo tanto, q.

Para determinar la validez de un argumento

es suficiente con determinar la validez su
esquema de argumento, y esto se puede
lograr por medios semnticos o por medios
sintcticos.

Mtodo semntico
En este mtodo se dice que un esquema de
argumento es vlido cuando es imposible
que las premisas sean verdaderas y la
conclusin falsa.
Para determinar esto:
1.- Se supone la verdad de las premisas
2.- Se aplica las definiciones de verdad
3.- Se intenta deducir la verdad de la
conclusin

Otro mtodo alternativo es transformar un

argumento en su correspondiente frmula
(p,q) y construir su tabla de verdad. Si la
frmula resulta ser una verdad lgica,
entonces el argumento es vlido.

Mtodo sintctico

En el mtodo sintctico, un esquema de argumento

es vlido cuando existe una deduccin de la
conclusin a partir de las premisas del argumento y
los axiomas del sistema, utilizando slo las reglas de
inferencia permitidas.

En un sistema de deduccin natural, como el

conjunto de axiomas es vaco, un esquema de
argumento ser vlido cuando exista una deduccin
de la conclusin a partir de las premisas, utilizando
slo las reglas de inferencia permitidas.

Referencias
Wikipedia-Validez
http://es.wikipedia.org/wiki/Validez_(l
%C3%B3gica)#Demostraci.C3.B3n_de_la_val
idez_de_un_argumento