saundersp/notebook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Typo fixes

Browse Source
This commit is contained in:
saundersp
2025-07-15 14:02:07 +02:00
parent 1cd05ba0e6
commit 094148b1ac
8 changed files with 30 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
contents/logic.tex
View File

@@ -120,22 +120,6 @@ $p \lor q \equivalence \lnot p \land \lnot q$
\lang{Contraposée}{Contraposition} : $\lnot q \implies \lnot p$
\langsubsubsection{Table de vérité}{Truth table}
\begin{tabular}{|c|c||c|}
\hline
$p$ & $q$ & $p \implies q$ \\
\hline
\false & \false & \true \\
\hline
\true & \false & \false \\
\hline
\false & \true & \true \\
\hline
\true & \true & \true \\
\hline
\end{tabular}
\langsubsection{Équivalence $(\equivalence)$}{Equivalence $(\equivalence)$}
% TODO Complete subsection