Utilisateur:JeanCASPAR/Brouillon

Brouillon

Liste des brouillons

• JeanCASPAR/Brouillon/Espace cohérent
• JeanCASPAR/Brouillon/candidats de réductibilité
• JeanCASPAR/Brouillon/espace vectoriel ordonné
• JeanCASPAR/Brouillon/logique linéaire

Test affichage math

Première formule (auto) : $(\neg (A\land B)\land \neg (\neg A\land \neg B)\land ((\neg \neg A\Rightarrow A)\Rightarrow (A\lor \neg A))\land ((\neg \neg B\Rightarrow B)\Rightarrow (B\lor \neg B))\implies (\neg A\lor \neg B)$

Deuxième formule (auto) :

$(\neg (A\land B)\land \neg (\neg A\land \neg B)\land ((\neg \neg A\Rightarrow A)\Rightarrow (A\lor \neg A))\land ((\neg \neg B\Rightarrow B)\Rightarrow (B\lor \neg B))\implies (\neg A\lor \neg B)$

Troisième formule (inline) : ${\textstyle (\neg (A\land B)\land \neg (\neg A\land \neg B)\land ((\neg \neg A\Rightarrow A)\Rightarrow (A\lor \neg A))\land ((\neg \neg B\Rightarrow B)\Rightarrow (B\lor \neg B))\implies (\neg A\lor \neg B)}$

Quatrième formule (block) : $$(\neg (A\land B)\land \neg (\neg A\land \neg B)\land ((\neg \neg A\Rightarrow A)\Rightarrow (A\lor \neg A))\land ((\neg \neg B\Rightarrow B)\Rightarrow (B\lor \neg B))\implies (\neg A\lor \neg B)$$