Exemple ntheorem

Romain, Alph, Alph, grec, grec ou fnsymbol. Exemple} Begin{page} exemple ~ ref{ex: Rain} utilisé de Morgan Law $ sim (p vee q) equiv sim p wedge sim q $. Proof} end{Theorem} begin{Example}label{ex: Rain} ` `il pleut ou il ne pleut pas` `est une tautologie, mais` `il ne pleut pas et il pleut` `est une contradiction. Définition} [tautologie] label{def: tautology} A emph{tautology} est une proposition qui est toujours vraie pour toute valeur de ses variables. Le paquet nthéorème fournit neuf styles de théorème prédéfinis, énumérés dans le tableau 4. Rappelez-vous que les commandes ci-dessus doivent tous être utilisés avant que le nouvel environnement de théorème-like est défini. Définition} begin{Theorem} si la proposition $P $ est une tautologie alors $ sim P $ est une contradiction, et inversement. Quand je commencerai la preuve, je voudrais indiquer ce que je prouve exactement. Est-il possible de le faire? Définition} begin{Definition} [contradiction] label{def: contradiction} A emph{conttion} est une proposition qui est toujours fausse pour toute valeur de ses variables. Pour les commandes supplémentaires qui affectent le style des théorèmes, consultez la documentation de nthéorème [10]. Lorsque vous définissez un nouvel environnement de type théorème avec newthéorème, il est donné le style actuellement en vigueur. Si vous utilisez l`option de package standard pour nthéorème, il définira automatiquement les environnements suivants: théorème, lemma, proposition, corollaire, Satz, Korollar, définition, exemple, Beispiel, Anmerkung, Bemerkung, remarque, Proof et Beweis.

La valeur par défaut est simple. Cela se produira plusieurs fois dans le document, donc je préfère ne pas créer un environnement personnalisé pour chaque instance. Proof} si $P $ est une tautologie, alors tous les éléments de sa table de vérité sont vrais (par définition ~ ref{def: tautology}), donc tous les éléments de la table de vérité pour $ sim P $ sont faux, par conséquent $ sim P $ est une contradiction (par définition ~ ref{def: contradiction})..