\newcommand{\alors}{\mathop{\rm alors }}
\newcommand{\ang}{{\bf {\mathcal A }}}
\newcommand{\Arctg}{\mathop{\rm Arctg }}
\newcommand{\Arg}{\mathop{\rm Arg }}
\newcommand{\bb}{{\bf {\mathcal B }}}
\newcommand{\cc}{{\bf C}}
\newcommand{\et}{~\mathop{\rm et }~}
%\newcommand{\exp}{~\mathop{\rm exp }~}
\newcommand{\etc}{\mathop{\rm etc }}
\newcommand{\ou}{~\mathop{\rm ou }~}
\newcommand{\Ima}{\mathop{\rm Im }}
\newcommand{\Ker}{\mathop{\rm Ker }}
\newcommand{\si}{\mathop{\rm si }}
\newcommand{\re}{\mathop{\rm r\'e\'ecrire }}
\newcommand{\reu}{\mathop{\rm r\'eu }}
\newcommand{\tg}{\mathop{\rm tg }}
\newcommand{\cotan}{\mathop{\rm cotan }}
\newcommand{\sinon}{\mathop{\rm sinon }}
\newcommand{\non}{\mathop{\rm non }}
\newcommand{\pp}{{\bf {\mathcal P }}}
\newcommand{\rr}{{\bf R}}
\newcommand{\rdeu}{{\bf R^2}}
\newcommand{\rrn}{{\bf R^n}}
\newcommand{\nn}{{\bf N}}
\newcommand{\kk}{{\bf K}}
\newcommand{\kx}{{\bf K}[X]}
\newcommand{\rX}{{\bf R}[X]}
\newcommand{\qq}{{\bf Q}}
\newcommand{\zz}{{\bf Z}}
\newcommand{\rar}{\rightarrow}
\newcommand{\imp}{\Longrightarrow}
\newcommand{\limp}{\longleftarrow}
\newcommand{\lrimp}{\longleftrightarrow}
\newcommand{\ssi}{\Longleftrightarrow}
\newcommand{\ove}{\overline}
\documentclass[12pt]{article} \usepackage{vmargin}
\usepackage{amsfonts}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{graphicx}
\usepackage{amsmath}

%TCIDATA{OutputFilter=LATEX.DLL}
%TCIDATA{Created=Wed Sep 29 09:21:02 1999}
%TCIDATA{LastRevised=Wed Sep 29 15:03:39 1999}
%TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}
%TCIDATA{<META NAME="DocumentShell" CONTENT="General\Blank Document">}
%TCIDATA{CSTFile=LaTeX article (bright).cst}

\newtheorem{theorem}{Theorem}
\newtheorem{acknowledgement}[theorem]{Acknowledgement}
\newtheorem{algorithm}[theorem]{Algorithm}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{case}[theorem]{Case}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{criterion}[theorem]{Criterion}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{solution}[theorem]{Solution}
\newtheorem{summary}[theorem]{Summary}
\newenvironment{proof}[1][Proof]{\textbf{#1.} }{\ \rule{0.4em}{0.4em}}
%\input{tcilatex}
\usepackage{amsmath}
\usepackage{amssymb}
\pagestyle{empty} \setmarginsrb{1cm}{1cm}{1.5cm}{1cm}{1cm}{1cm}{1cm}{1cm}

%\documentstyle[12pt]{article} \pagestyle{empty} \setlength{\textwidth}{13cm}
%\setlength{\parindent}{0pt} \setlength{\parskip}{.2em}
\baselineskip 2cm 
\begin{document}
   

M\'ethodo Exos 2~~~ \hfill 7/10/02 ~Deug MIASSM TC\\ %
             

\begin{center}
{\Huge {\bf 
                      Etendre}}  

\end {center}              

             \vspace{0.4cm}

\begin{enumerate}
\item {\Large {\bf L'ensemble $\bb_\perp$}}

             \vspace{0.2cm}

a) Ecrire la table de v\'erit\'e des connecteurs logiques non, et, ou, implique, ssi, nand.

b) Calculer $1=0 \ou 1>0,\,$  $1=0 \imp 1>0,\,$  $1\neq 0 \imp 1>0,\,$  
$1=0 \ssi 1<0,\,$  $1=0 \ou 1>0.$ 

c) Etendre de fa\c{c}on pertinente et autant que possible le connecteur non
\`a $\bb_\perp:= \bb \amalg \{\perp\}.$

d) M\^eme question pour le connecteur ou.
Votre extension reste-t-elle sym\'etrique? associative?

e) Etendre de fa\c{c}on analogue le connecteur et. Votre 
extension reste-t-elle distributive vis-à-vis du nouveau ou ? de l'ancien?

f) Etendre de fa\c{c}on analogue les connecteurs $\imp$ et $\ssi$. Reste-t-il 
vrai que  pour tous $X$ et $Y$ dans 
$\bb_\perp$, $(X \imp Y) \ssi (nonY \imp nonX)$? 

g) Remplacer $x$ par $0$ dans l'\'enonc\'e 
$\sin \, 2x \neq 0 \imp \cotan x = \dfrac {1}{\tan x}$.
Pour quelles conventions pertinentes concernant  $\imp$,  cet \'enonc\'e 
 est-il vrai pour tout $x$ r\'eel? 

            \vspace{0.4cm}




\item{\Large {\bf Les suites dans  $\rr_\perp$}}

             \vspace{0.2cm}


a) Expliquer quelles sont les suites $u$ et $v$ dans $\rr_\perp$ d\'efinies par
$u_n=\dfrac{1}{n-9}+\ln (2^n -n^9)$ et
$v_n=\dfrac {u_n}{n}$.

b) Etendre la notion de limite en
 $\lim_\perp: (\nn \rar \rr_\perp) \rar \rr_\perp$. Calculer
$\lim_\perp u$ et $\lim_\perp v$.

c) Etendre les ressources concernant la limite d'une somme et d'un produit et 
expliquer pourquoi on se m\'efie de la convention $ 0 \times \perp =0$.

             \vspace{0.4cm}

\item{\Large {\bf La d\'erivation dans  $\rr_\perp$}}

             \vspace{0.2cm}


a) Expliquer quelle est la d\'eriv\'ee dans $\rr_\perp$ de la fonction valeur
absolue.

b) Etendre la notion de  d\'eriv\'ee en
$der_\perp: (\rr _\perp \rar \rr_\perp) \rar (\rr_\perp \rar \rr_\perp)$. 

c) Etendre les ressources concernant la d\'eriv\'ee d'une somme, d'un produit, d'un carr\'e. Donner une nouvelle raison de se m\'efier de  la convention $ 0 \times \perp =0$.

d) Qu'est-ce qu' une fonction d\'erivable, ind\'efiniment d\'erivable?

\end{enumerate}

\end{document}