« Approfondissements de lycée/Logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 1 285 :
====Négation====
Négation est simplement un mot pour l'opposition, c.a.d. la ''négation'' de "Toutes celles qui sont nommées Britney peuvent chanter" est "Il existe une nommée Britney qui ne peut pas chanter". Ceci indique un contre-exemple que toutes les personnes nommées Britney peuvent chanter, nous avons seulement besoin d'en trouver une, nommée Britney, qui ne
:Soit ''p'' représentant une personne nommée Britney
:<math>[(\forall p)(p\mbox{ peut chanter})]' = (\exists p)(p\mbox{ ne peut pas chanter})</math>
| |||