Visitor

Views

TD de Logique 5 : Complétude, compacité et applications (corrigé)

Exercice 1. ... Montrons que T1 ? {?} et T2 restent inséparables. ... On peut les supposer inséparables maximales dans les Li (argument.