Flashcards : Logique propositionnelle et preuves (4 cartes)

Toutes les cartes

1Question

Quelles étapes inclut la vérification d'une formule propositionnelle ?

Réponse

Réécrire les implications en disjonctions, appliquer les transformations logiques, constater que les composantes sont vraies.

2Question

Quelle contradiction apparaît dans la démonstration par contradiction de la transitivité ?

Réponse

On obtient simultanément que R est vraie et que R est fausse.

3Question

Quelle est la vérité de la formule $(\neg R\lor T\lor S\lor R)\land(\neg R\lor T\lor S\lor\neg S)$ ?

Réponse

Elle est vraie.

4Question

Pourquoi la formule $(R\Rightarrow S)\Rightarrow[(\neg R\lor T)\lor(S\land\neg T)]$ devient-elle $(R\Rightarrow S)\Rightarrow(\neg R\lor T\lor S)$ ?

Réponse

Parce que la composante $\neg R\lor T\lor\neg T$ est vraie.

Teste tes connaissances avec un QCM de 4 questions sur Logique propositionnelle et preuves.

1. Quelle démarche permet de vérifier une formule propositionnelle impliquant des implications ?

2. Quelle est la valeur de vérité de la formule $(R\Rightarrow S)\Rightarrow[(S\Rightarrow T)\Rightarrow(R\Rightarrow T)]$ ?

Révisez le cours complet dans la fiche de révision de Logique propositionnelle et preuves.

Importe ton cours et l'IA génère des flashcards en 30 secondes.