logique propositionnelle

[invitee2ee5a50]

S'il vous plait j'ai un grand problème avec le cours de la logique propositionnelle.. en fait je suis débutante et besoin de votre aide. Ce que je comprend que cette partie de la logique a pour but de montrer la validité (vérité) ou non d'une formule propositionnelle.. mais je ne comprend pas qu'est ce qu'un système déductif??? à quoi ça sert exactement??? et quels sont les différents systèmes déductifs?? De plus j'ai une autre question: qu'elle est la différence entre ces deux symboles: ⊨ et ⊢ !! s'il vous plait aidez moi et merci d'avance!
-----

[Médiat]

Bonjour, (ce n'est pas optionnel sur nos forums)

mais je ne comprend pas qu'est ce qu'un système déductif???

Vous deviez en avoir la définition : c'est l'ensemble des règles qui permet de savoir si une formule est démontrable dans une théorie donnée

à quoi ça sert exactement??? et

A faire des démonstrations.

quels sont les différents systèmes déductifs??

Il y en a des tonnes qui dépendent de la logique utilisée, en général, on cite les sytèmes de Hilbert, de déduction naturelle, des séquents, mais la liste n'est pas exhaustive

De plus j'ai une autre question: qu'elle est la différence entre ces deux symboles: ⊨ et ⊢ !! s'il vous plait aidez moi et merci d'avance!

M⊨p indique que f est "vraie" dans le modèle M (*) , T⊢f indique que f est démontrable dans la théorie T.

(*) Malheureusement il y a d'autres usages de cette notation, je ne sais pas dans quel sens vous l'utilisez.