Logique pour les mathématiques et l’informatique (Logique II)
Texte intégral
Documents relatifs
On peut se restreindre au théorème dit de Tychonoff dénombrable dès lors que X est dénombrable, avec l'avantage de ne pas utiliser l'axiome du
D’après le théorème 5.9, il existe une formule sous forme canonique φ 1 formée uniquement de connecteurs K, J, et psi ¨ alors ¨ sinon ¨q, de parenthèses, et de
Définition 6.1 (Famille génératrice) Une famille de connecteurs logiques 1 est génératrice si pour toute formule du calcul propositionnel, il existe une formule
Définition 6.1 (Famille génératrice) Une famille de connecteurs logiques 1 est génératrice si pour toute formule du calcul propositionnel, il existe une formule
Nous allons montrer que la présentation et l’étude élémentaires du calcul proposition- nel intuitionniste peuvent être réalisées de manière très simple en utilisant les ouverts
Ainsi, supposer que si...alors est l’équivalent linguistique de l’implication matérielle, c’est admettre que les énoncés comportant si...alors ne peuvent être faux que
Dans l’autre, on fait un ultraproduit sur toutes les parties finies de T en choisissant pour chaque partie un modèle de la partie finie qui ne soit pas un modèle de T tout entier
Montrer qu’une théorie T est finiment axiomatisable ssi la classe des L-structures M qui ne sont pas des modèles de T est stable par ultraproduit.. Solution de
