Série Notions de logique 1BAC SE BIOF
📅 October 07, 2025 | 👁️ Views: 1

J'ai trouvé le code latex dans cette page facebook: https://www.facebook.com/profile.php?id=100083349580271
\documentclass[a4paper,10pt]{article}
\usepackage{array}
\usepackage{polyglossia}
\usepackage{geometry}
\usepackage{enumerate}
\usepackage{enumitem}
\usepackage{amsmath,amssymb}
\usepackage{pifont}
\usepackage{fancybox}
\usepackage{fancyhdr}
\usepackage{multicol}
\usepackage{mathrsfs} % pour \mathscr
\usepackage{tcolorbox,varwidth}
\usepackage{fontspec}
\tcbuselibrary{skins,breakable}
\usepackage{pgf,tikz,pgfplots}
%\setmainfont[Scale=1.1]{Times New Roman}
\usetikzlibrary{arrows}
\pgfplotsset{compat=1.15}
\pagestyle{empty}
\usepackage{pgfornament}
\usepackage{tasks}
\usepackage{psvectorian}
\usepackage{lastpage}
\usepackage{eso-pic,graphicx}
\usepackage{multirow}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Cc}{\mathbb{C}}
\newcounter{numexo}
\setcounter{numexo}{1}
\newcommand{\numexo}{Exercice \thenumexo \addtocounter{numexo}{1} }
\geometry{
paperwidth=21cm,
left=0.8cm,
right=0.8cm,
paperheight=29.7cm,
top=.5cm,
height=24.5cm,
headheight=12.0pt,
headsep=1cm,
footskip=.5cm,
bottom=1cm
}
\rfoot{\textit{}} %Bonne chance
\cfoot{\textit{\underline{Page ~ \thepage ~ sur ~ \pageref{LastPage}}}}
\renewcommand{\headrulewidth}{0.1mm}
\renewcommand{\footrulewidth}{0.1mm}
\renewcommand{\baselinestretch}{1.1}
\pagestyle{fancy}
%\setmainfont{Ubuntu}
%================= New box ======================
\usepackage{varwidth}
\newtcolorbox{mynewbox}[2][]{skin=enhancedlast jigsaw,breakable,interior hidden,
boxsep=0pt,top=0pt,colframe=red,coltitle=red!50!black,
fonttitle=\bfseries\sffamily,
attach boxed title to top center,
boxed title style={empty,boxrule=0.5mm},
varwidth boxed title=0.5\linewidth,
underlay boxed title={
\draw[white,line width=0.5mm]
([xshift=0.3mm-\tcboxedtitleheight*2,yshift=0.3mm]title.north west)
--([xshift=-0.3mm+\tcboxedtitleheight*2,yshift=0.3mm]title.north east);
\path[draw=red,top color=white,bottom color=red!50!white,line width=0.5mm]
([xshift=0.25mm-\tcboxedtitleheight*2,yshift=0.25mm]title.north west)
cos +(\tcboxedtitleheight,-\tcboxedtitleheight/2)
sin +(\tcboxedtitleheight,-\tcboxedtitleheight/2)
-- ([xshift=0.25mm,yshift=0.25mm]title.south west)
-- ([yshift=0.25mm]title.south east)
cos +(\tcboxedtitleheight,\tcboxedtitleheight/2)
sin +(\tcboxedtitleheight,\tcboxedtitleheight/2); },
title={\#2},#1}
%================================================
%================================================
\begin{document}
\begin{center}
{\Large\textit{\textcolor{red}{1er BAC SC. Expérimentales - Biof}}} \vspace*{0.5cm} \\
{\Large \bf Série : Notions de logique } \\
\end{center}
\vspace*{-0.7cm}
\begin{center}
\rule{0.75\linewidth}{1pt}
\end{center}
\begin{multicols}{2}
\begin{mynewbox}{\numexo}
Écrire à l'aide de quantificateurs ces propositions :
\begin{enumerate}
\item Le carré de tout réel est positif.
\item Certains réels sont strictement supérieurs à leur carré.
\item Entre deux réels distincts, il existe un rationnel.
\item Il y a un entier plus grand que tous les entiers.
\end{enumerate}
\end{mynewbox}
\begin{mynewbox}{\numexo}
Traduisez ces propositions en langage courant:
\begin{enumerate}
\item $P:(\forall x \in \mathbb{R}) ;(\exists y \in \mathbb{\mathbb{ R }}): x>y$
\item $P:(\exists x \in \mathbb{R}) ;(\forall y \in \mathbb{R}): x>y$
\item $P:(\forall x \in \mathbb{R}) ; x^{2} \geq 4 \Rightarrow x \geq 2$
\item $P:(\exists x \in \mathbb{R}) ; x^{2}=4$
\end{enumerate}
\end{mynewbox}
\begin{mynewbox}{\numexo}
Donner la négation et la valeur de vérité de chacune des propositions suivantes
\begin{enumerate}
\item $P:(\forall x \in \mathbb{R}) / x^{2}>0$
\item $Q:(\exists x \in \mathbb{R}) / x^{2}-9=0 $
\item $R:(\forall n \in \mathbb{N}) / \cfrac{n}{2} \in \mathbb{N} $
\item $S:(\forall n \in \mathbb{N}) ;(\exists m \in \mathbb{N}): n \prec m$
\item $T:(\exists x \in \mathbb{Z}) ; \cfrac{x}{4} \in \mathbb{Z}$
\end{enumerate}
\end{mynewbox}
\begin{mynewbox}{\numexo}
Déterminer la valeur de vérité de chaque proposition suivante :
\begin{enumerate}
\item $x \in \mathbb{R} ;\left(x^{2}=4 \Leftrightarrow x=2\right)$.
\item $(7<5$ et $2+1=3)$ ou $(-3 \in \mathbb{N})$
\item $(7<5 \Rightarrow 2+1=0)$ ou $(-3 \in \mathbb{N})$
\end{enumerate}
\end{mynewbox}
$\blacksquare$ \textbf{Raisonnement par contre-exemple}
\begin{mynewbox}{\numexo}
Montrer que ces propositions sont fausses :
\begin{enumerate}
\item "Tous les nombres entiers naturels sont pairs"
\item $\forall n \in \mathbb{N}; (n+1)^{2}=n^{2}+1$
\item $(\forall n \in \mathbb{N}) ; \sqrt{n} \in \mathbb{N}$
\item $\forall n \in \mathbb{N}; n^{2}+n+1$ est un nombre premier.
\end{enumerate}
\end{mynewbox}
$\blacksquare$ \textbf{Raisonnement par équivalence}
\begin{mynewbox}{\numexo}
\begin{enumerate}
\item Montrer que : $8-4x \geq 0 \Leftrightarrow x \leq 2 $
\item Résoudre l'équation : $x^3-x^{2}=0$
\item Montrer que $\forall x \geq \frac{1}{2} : x=\sqrt{2x-1} \Leftrightarrow x=1$
\end{enumerate}
\end{mynewbox}
$\blacksquare$ \textbf{Raisonnement par contraposée}
\begin{mynewbox}{\numexo}
\begin{enumerate}
\item Soient $x \in \mathbb{R}$ et $x \neq-5$.\\
Montrer que : $x \neq-8 \Rightarrow \frac{x+2}{x+5} \neq 2$
\item Soient $x \in \mathbb{R} ; y \in \mathbb{R}$. Montrer que :\\ $x \neq y \Rightarrow(x+1)(y-1) \neq(x-1)(y+1)$
\item En utilisant le raisonnement par contraposée montrer que : si $x \in]1;+\infty[$ et $y \in] 1;+\infty[$
$$
x \neq y \Rightarrow x^{2}-2 x \neq y^{2}-2 y
$$
\end{enumerate}
\end{mynewbox}
$\blacksquare$ \textbf{Raisonnement par Absurde}
\begin{mynewbox}{\numexo}
\begin{enumerate}
\item Soit $n \in \mathbb{N}$ Posons $\mathrm{A}=\frac{n+3}{n+5}$, Montrer que $\mathrm{A} \neq 1$
\item Montrer que $\forall x \in \mathbb{R}^{*}$; \quad
$
\sqrt{1+x^{2}} \neq 1+\frac{x^{2}}{2}
$
\item Soient $x, y$ et $z$ des nombres réels.
Montrer que le système
$
\left\{\begin{array}{c}
2 x-3 z>3 \\
3 y-2 x \geq 3 \\
y-z \leq 2
\end{array}\right.
$
n'admet pas de solution.
\end{enumerate}
\end{mynewbox}
$\blacksquare$ \textbf{Raisonnement par disjonction des cas}
\begin{mynewbox}{\numexo}
\begin{enumerate}
\item Montrer que pour tout $\forall n \in \mathbb{N} ; n(n+1)$ est pair (distinguer les $n$ pairs des $n$ impairs).
\item Résoudre dans $\mathbb{R}$ l'équation $|x-5|=2$
\item Soit $m$ un réel, discuter selon les valeur du paramètre $m$, le nombres de solutions de l'équation $x^{2}=m$
\end{enumerate}
\end{mynewbox}
$\blacksquare$ \textbf{Raisonnement par récurrence}
\begin{mynewbox}{\numexo : \small Montrer que}
\begin{enumerate}
\item $\forall n \in \mathbb{N}^{*}$, $1+2+3+\ldots+n=\frac{n \times(n+1)}{2}$
\item $\forall n \in \mathbb{N} ; 7^{n}-1$ est divisible par 6
\item $\forall n \in \mathbb{N} ; n^{3}+2 n$ est divisible par 3.
\item $\forall n \in \mathbb{N}^{*}$ :
$
1+3+5+\ldots+(2 n+1)=(n+1)^{2}
$
\item $\forall n \in \mathbb{N}^{*}:$
$
1^{2}+2^{2}+3^{2}+\ldots+n^{2}=\frac{n \times(n+1) \times(2 n+1)}{6}
$
\end{enumerate}
\end{mynewbox}
\end{multicols}
\end{document}