Logique

Thèmes abordés

Logique, calcul propositionnel, tautologie, arbres de consistance, système logique

Résumé du document

3 exercices corrigés sur le thème des calculs propositionnels (tautologies, contradictions et arbres de consistance).

Extraits

[...] Logique Exercice 1 V V F F V V V F V V F V V V V F F V V V V F F V V F F V (est donc bien une tautologie. V V V V V V V V F V V V V V V V V F V F V V F V F F V V V V V V V V F V F F F V F V F V F V F V V F F F V F F V F F F V V V V V ? est donc bien une tautologie. [...]