ARGUMENTOS

Problema 1

En un determinado deporte , se siguen los siguientes hechos:

* Si el equipo juega bien, entonces gana el campeonato.

* Si el equipo no juega bien, entonces el técnico es el culpable
* Si el equipo gana el campeonato, entonces los hinchas estan contentos

* Los hinchas no estan contentos

Dos comentaristas hacen las siguientes afirmaciones:

COMENTARISTA A COMENTARISTA B

El técnico es el culpable El técnico no es el culpable

Cual de los comentaristas hizo una conclusión válida?

Problema 2. Considerando las siguientes afirmaciones como verdaderas

dos alumnos chegaron a las siguientes conclusiones:

Alumno A Alumno B

Cual de los alumnos hizo una conclusión válida?

 Sean P_1, P_2, ... , P_n , n>0 y Q proposiciones cualesquier.

Definición I.1.17 Un ARGUMENTO es la afirmación de que un conjunto de proposiciones P_1, P_2, ... , P_n , n>0

de proposiciones tienen como consecuencia una proposición final Q.

Las proposiciones P_1, P_2, ... , P_n son llamadas de premisas, y la proposición final Q es llamada de conclusión.

El argumento con premisas P_1, P_2, ... , P_n y conclusión Q es denotado por:
P_1

P_1 , P_2 , ... , P_n |------ Q o P_2

:
:
P_n

Definición I.1.18 Un argumento

P_1 , P_2 , ... , P_n |------ Q

se dice que es válido si y solamente si la conclusión Q es verdadera todas las veces que

las premisas P_1, P_2, ... , P_n son verdaderas.

El argumento que no es válido es conocido como sofisma.

Así el argumento con premisas

* Si el equipo juega bien, entonces gana el campeonato.

* Si el equipo no juega bien, entonces el técnico es el culpable
* Si el equipo gana el campeonato, entonces los hinchas estan contentos

* Los hinchas no estan contentos

y con conclusión

El técnico es el culpable El técnico no es el culpable

es válido. es un sofisma.
Ejemplos:

Si llueve, entonces las calles quedan inundadas

Llueve
Las calles estan inundadas

Si yo trabajo, entonces tengo dinero

Yo trabajo
Yo tengo dinero

Neo escoje la píldora azul o Neo escoje la píldora roja

Neo no escoje la píldora azul

Neo escoje la píldora roja

Carla obtuvo 10 en la prueba y fue al cine.

Carla obtuvo 10 en la prueba

Teorema I.1.19 Un argumento
P_1 , P_2 , ... , P_n |------ Q
es válido si y solamente si se tiene que

P_1 /\ P_2 /\ ... /\ P_n ==> Q.

Así, tenemos los siguientes argumentos válidos, conocidos como Reglas de Inferencia:
Ejercicios: Verifique la validad del argumento:

~p ---> q , ~p /\ r |------ q
Ejercicios: Verifique la validad del argumento:
p , q , p V r ---> s |------ q /\ s
Ejercicios: Verifique la validad del argumento:
p ---> q , ~r ---> ( s ---> t ) , rV(pVs)