TD 5 - 30/03/2023

Quelle est la taille de cette formule ?

• 0

• 1

• 2

• 3

• 4

La hauteur de cette formule est :

• 0

• 1

• 2

• 3

• 4

Une tautologie ...

• N'est vraie pour aucune valuation

• Est vraie pour toute valuation.

si une valuation donne à x, y et z les valeurs VRAIES, quelle est l'évaluation de cette formule pour cette valuation ?

• V

• F

La définition de "a implique b" est

• (non a) ou b

• (non a) et b

• a ou (non b)

• a et (non b)

la formule "x -> x"

• est une tautoligie

• est une antilogie

• auncun des deux

La disjonction de deux antilogies est une antilogie.

• Vrai

• Faux

Il existe des tautologie non satisfiables.

• Vrai

• Faux

sont sémantiquement équivalentes

• Vrai

• Faux