Le texte ne doit pas être écrit en capitales (les noms de famille non plus), ni en gras, ni en italique, ni en « petit »…
Le gras n'est utilisé que pour surligner le titre de l'article dans l'introduction, une seule fois.
L'italique est rarement utilisé : mots en langue étrangère, titres d'œuvres, noms de bateaux, etc.
Les citations ne sont pas en italique mais en corps de texte normal. Elles sont entourées par des guillemets français : « et ».
Les listes à puces sont à éviter, des paragraphes rédigés étant largement préférés. Les tableaux sont à réserver à la présentation de données structurées (résultats, etc.).
Les appels de note de bas de page (petits chiffres en exposant, introduits par l'outil « Source ») sont à placer entre la fin de phrase et le point final[comme ça].
Les liens internes (vers d'autres articles de Wikipédia) sont à choisir avec parcimonie. Créez des liens vers des articles approfondissant le sujet. Les termes génériques sans rapport avec le sujet sont à éviter, ainsi que les répétitions de liens vers un même terme.
Les liens externes sont à placer uniquement dans une section « Liens externes », à la fin de l'article. Ces liens sont à choisir avec parcimonie suivant les règles définies. Si un lien sert de source à l'article, son insertion dans le texte est à faire par les notes de bas de page.
En mathématiques et en logique, une vérité vide[1] ou vérité creuse[réf. nécessaire] est un énoncé conditionnel ou universel qui est vrai parce que l'antécédent ne peut être satisfait[2]. Par exemple, l'énoncé « tous les téléphones portables dans la pièce sont éteints » est vrai lorsqu'aucun téléphone portable ne se trouve dans la pièce. Dans ce cas, l'énoncé « tous les téléphones cellulaires dans la pièce sont allumés » est également vrai, tout comme la conjonction des deux : « tous les téléphones cellulaires dans la pièce sont allumés et éteints », qui serait autrement incohérente.
En mathématiques pures, les énoncés constituant une vérité vide ne présentent généralement pas d'intérêt en soi, mais ils apparaissent fréquemment comme le cas de base des preuves par induction mathématique[3] et peuvent permettre faire la preuve par l'absurde[1].
On dit qu'un énoncé <math>S</math> est une vérité creuse s'il peut s'écrire comme une assertion de la forme <math>P \Longrightarrow Q</math> où l'antécédent <math>P</math> est faux[2],[4],[5],[1].
Les vérités creuses peuvent être réduites aux énoncés logiques suivants :
<math>\forall x: P(x) \Rightarrow Q(x)</math>, avec <math>\forall x: \neg P(x)</math>.
<math>\forall x \in A: Q(x)</math>, où l'ensemble <math>A</math> est vide.
Source
Portail des mathématiques 
Portail de la philosophie analytique 
