lógica 1

Argumento
Un argumento se define como un conjunto de premisas seguidas por una conclusión Un argumento puede ser sólido (valido y con premisas verdaderas) o ser persuasivo de alguna otra manera.Sin embargo, un argumento no necesita ser sólido o persuasivo para ser un argumento.
Nótese que para que un argumento sea deductivamente válido, no es necesario que las premisas o la conclusión seanverdaderas. Sólo se requiere 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 premisas son 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 deduciblede las premisas conforme 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 premisasverdaderas, entonces se dice que 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.Premisa
Una premisa es cada una de las proposiciones anteriores a la conclusión de un argumento. En un argumento válido, las premisas implican la conclusión, pero esto no es necesario para que unaproposición sea una premisa: lo único relevante es su lugar en el argumento, no su rol. Al ser proposiciones, las premisas siempre afirman o niegan algo y pueden ser verdaderas o falsas.
ProposiciónEs un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común o formalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa pormedio de signos o símbolos de un lenguaje formal.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se...