Ejemplos De Mate

Demostración por argumentos
En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas,se dice que el argumento es deductivamente válido. Algunos consideran estas dos nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo, consideran que puede haber argumentosválidos que no sean deductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas.
Ejemplos de argumentosdeductivamente válidos son los siguientes:
1. Si está soleado, entonces es de día.
2. Está soleado.
3. Por lo tanto, es de día.
1. Si no es lunes, entonces es martes.
2. No es lunes.
3. Por lo tanto, esmartes.
1. Todos los planetas giran alrededor del Sol.
2. Marte es un planeta.
3. Por lo tanto, Marte gira alrededor del Sol.

No se debe confundir la validez (una propiedad de los argumentos) con lavalidez lógica (una propiedad de las fórmulas). Se dice que una fórmula tiene validez lógica, o que es lógicamente válida, cuando es verdadera bajo todas las interpretaciones posibles del lenguaje al quepertenece. Por lo demás, el término «validez lógica» está cayendo en desuso frente al término «verdad lógica» para designar a estas fórmulas.
Un argumento concreto es válido cuando tiene la forma deun esquema de argumento válido. Por ejemplo, considérese los siguientes dos argumentos:
1. O es de día o es de noche.
2. No es de día.
3. Por lo tanto, es de noche.
1. O es varón o es mujer.
2. No esvarón.
3. Por lo tanto, es mujer.
Estos argumentos son válidos porque ambos tienen la forma de un silogismo disyuntivo, el cual es un esquema de argumento válido:
1. O p o q.
2. No p.
3. Por lotanto, q.
Para determinar la validez de un argumento concreto, entonces, alcanza con determinar la validez su esquema de argumento, y esto se puede lograr por medios semánticos o por medios sintácticos....