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 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...
J'ai essayé de résoudre l'exercice suivant mais je suis resté coincé en essayant de trouver toutes les paires critiques . J'ai les questions suivantes: Comment savoir quelle paire critique a produit une nouvelle règle? Comment savoir si j'ai trouvé toutes les paires critiques? Soit où est binaire,...
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai...
Laisser x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) et y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) être nnn-vecteurs de variables booléennes. J'ai un prédicat booléenQ(x,y)Q(x,y)Q(x,y) sur x,yx,yx,y. Je donne mon ami PriscillaQ(x,y)Q(x,y)Q(x,y). En réponse, elle me donneP(x)P(x)P(x), un prédicat booléen...
Je pensais que tout FOT est un sous-ensemble de FOL, mais cela ne semble pas être le cas, car FOL est complet (chaque formule est soit valide soit invalide), tandis que certains FOT (comme l'arithmétique d'entier linéaire) ne sont pas complets. Alors, FOL est-il plus expressif que n'importe quel...