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...
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
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...
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...