^{PDFprof.com Search Engine}

Introduction à la logique : logique propositionnelle

C'est quoi une proposition logique ?
\\ Une "proposition (logique)" est un énoncé qui peut être vrai ou faux, mais non les deux à la fois.
Un énoncé dans la vraie vie peut être vrai et faux au même temps : dans ce cas ce n'est pas considéré comme une proposition logique.
Quels sont les différents types de logique ?
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
Quel est l'objectif de la logique ?
Depuis plus de 2000 ans, la logique est essentiellement utilisée pour « modéliser des arguments exprimés en langage naturel » et pour formaliser le raisonnement : c'est-à-dire que le rôle de la logique est de fournir un moyen de répondre aux ambiguïtés qui surgissent lorsque nous utilisons notre langage.
La logique — du grec λογική / logikê, qui est un terme dérivé de λόγος / lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.

La logique propositionnelle est la logique sans quantificateurs qui s'intéresse uniquement aux lois gouvernant les opérations logiques suivantes : la négation (¬) , la conjonction, autrement dit le « et » (∧), la disjonction, autrement dit le « ou » (∨), l'implication (⇒) et l'équivalence (⇔).

Logique propositionnelle

Introduction à la logique : logique propositionnelle

C'est quoi une proposition logique ?

Quels sont les différents types de logique ?

Quel est l'objectif de la logique ?