el argumento

Definición formal
En lógica, un argumento se define como un conjunto de premisas seguidas por una conclusión.3 Un argumento puede ser sólido (valido y con premisas verdaderas) o ser persuasivo dealguna otra manera.4 Sin embargo, un argumento no necesita ser sólido o persuasivo para ser un argumento.
Ejemplos de argumentos deductivamente válidos son los siguientes:
1. Si está soleado, entonceses de día.
2. Está soleado.
3. Por lo tanto, es de día. 1. Si no es martes, entonces es lunes.
2. No es martes.
3. Por lo tanto, es lunes. 1. Todos los planetas giran alrededor del Sol.
2. Martees un planeta.
3. Por lo tanto, Marte gira alrededor del Sol.

Nótese que para que un argumento sea deductivamente válido, no es necesario que las premisas o la conclusión sean verdaderas. Sólo serequiere que la conclusión sea una consecuencia lógica de las premisas. La lógica formal establece únicamente una relación condicional entre las premisas y la conclusión. Esto es: que si las premisasson verdaderas, entonces la conclusión también lo es (esta es la caracterización semántica de la noción de consecuencia lógica); o alternativamente: que la conclusión sea deducible de las premisasconforme a las reglas de un sistema lógico (esta es la caracterización sintáctica de la noción de consecuencia lógica). Si un argumento, además de ser válido, tiene premisas verdaderas, entonces se diceque es sólido.
En un lenguaje formal, un argumento se define como un conjunto ordenado de fórmulas, donde la última es designada como la conclusión, y las demás como las premisas.
Es la expresiónoral o escrita de un razonamiento.1 La cualidad fundamental de un argumento es la consistencia y coherencia; entendiendo por tal el hecho de que el contenido de la expresión, discurso u obra adquierasentido o significación que se dirige al interlocutor con finalidades diferentes:
• Como contenido de verdad = consistencia y coherencia con otras verdades admitidas, o con referencia a un hecho o...