en logique, un argument nécessite un ensemble de (au moins) deux phrases déclaratives (ou « propositions ») connues sous le nom de « prémisses » (ou « prémisses »), ainsi qu’une autre phrase déclarative (ou « proposition »), connue sous le nom de conclusion. Cette structure de deux prémisses et d’une conclusion forme la structure argumentative de base. Des arguments plus complexes peuvent utiliser une séquence de règles pour relier plusieurs prémisses à une conclusion, ou pour tirer un certain nombre de conclusions à partir des prémisses d’origine qui servent ensuite de prémisses pour des conclusions supplémentaires., Un exemple de ceci est l’utilisation des règles d’inférence trouvées dans la logique symbolique.

Aristote considérait que tout argument logique pouvait être réduit à deux prémisses et à une conclusion. Les locaux sont parfois laissés sans indication, auquel cas, ils sont appelés locaux manquants, par exemple:

Socrate est mortel parce que tous les hommes sont mortels.

Il est évident qu’un tacitement compris revendication est que Socrate est un homme. Le raisonnement pleinement exprimé est ainsi:

parce que tous les hommes sont mortels et que Socrate est un homme, Socrate est mortel.,

Dans cet exemple, les clauses indépendantes précédant la virgule (à savoir, « tous les hommes sont mortels » et « Socrate est un homme ») sont les locaux, tandis que « Socrate est mortel » est la conclusion.

la preuve de La conclusion dépend à la fois de la vérité des prémisses et de la validité de l’argument. En outre, des informations supplémentaires sont nécessaires au-delà du sens de la prémisse pour déterminer si le sens complet de la conclusion coïncide avec ce qui est.

Pour Euclide, les prémisses constituent deux des trois propositions d’un syllogisme, l’autre étant la conclusion., Ces propositions catégoriques contiennent trois termes: sujet et prédicat de la conclusion, et le moyen terme. Le sujet de la conclusion est appelé le terme mineur tandis que le prédicat est le terme majeur. La prémisse qui contient le moyen terme et les principaux terme est appelé la prémisse majeure alors que le principe qui contient le moyen terme et mineur terme est appelé la prémisse mineure.

une prémisse peut également être un Mot indicateur si des instructions ont été combinées en un argument logique et ces fonctions de mots pour marquer le rôle d’une ou plusieurs des instructions., Il indique que la déclaration à laquelle il est attaché est une prémisse.