Questions marquées «propositional-logic»

Pourquoi A implique B vrai si A est faux et B est faux?

Il me semble que le «implique» en anglais ne signifie pas la même chose que l'opérateur logique «implique», de la même manière que le mot «OU» dans la plupart des cas signifie «OU exclusif» dans notre utilisation quotidienne de la langue. Prenons deux exemples: Si aujourd'hui est lundi, demain est …

24 terminology logic first-order-logic propositional-logic

Pourquoi ?

Je voudrais savoir s'il existe une règle pour le prouver. Par exemple, si j'utilise la loi distributive, je n'obtiendrai que .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic propositional-logic

La preuve par contradiction peut-elle fonctionner sans la loi du milieu exclu?

Je pensais récemment à la validité de la preuve par contradiction. J'ai lu ces derniers jours des choses sur la logique intuitionniste et les théorèmes de Godel pour voir s'ils me fourniraient des réponses à mes questions. En ce moment, j'ai encore des questions en suspens (peut-être liées au nouveau …

19 logic first-order-logic propositional-logic incompleteness

Pourquoi la solidité implique-t-elle la cohérence?

Je lisais la question La cohérence et l'exhaustivité impliquent la solidité? et la première déclaration y dit: Je comprends que la solidité implique la cohérence. Ce qui m'a laissé perplexe parce que je pensais que la solidité était une affirmation plus faible que la cohérence (c'est-à-dire que je pensais que …

12 terminology logic first-order-logic propositional-logic incompleteness

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.