---
title: "Lois logiques et méthodes de démonstration"
description: "Comprendre et vérifier lois logiques et méthodes de démonstration."
url: "https://unpointdeplus.com/les-tables/logique-raisonnement/"
---

# Lois logiques et méthodes de démonstration

Comprendre et vérifier lois logiques et méthodes de démonstration.

## Je sais

\(\neg(A\land B)\Leftrightarrow\neg A\lor\neg B\)

## Je reconstruis

\(A\Rightarrow B\Leftrightarrow\neg B\Rightarrow\neg A\)

## Je fais attention

\(P(0)\quad P(n)\Rightarrow P(n+1)\)

## Je contrôle

\(A\Leftrightarrow B\)

## Valeurs

- \(\neg(A\land B)\) = \(\neg A\lor\neg B\)
- \(\neg(A\lor B)\) = \(\neg A\land\neg B\)
- \(A\Rightarrow B\) = \(\neg B\Rightarrow\neg A\)
- \(P(0)\land(P(n)\Rightarrow P(n+1))\) = \(P(n)\)
- \(A\Leftrightarrow B\) = \(A\Rightarrow B et B\Rightarrow A\)

## Je m'entraîne

1. Quelle est la négation de A∧B ? — réponse : ¬A∨¬B
2. Quelles sont les deux étapes d une récurrence ? — réponse : Initialisation et hérédité