From eb0a2b280207e2a1e90b7ac7d5095e0e3c706f00 Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Sat, 29 Nov 2025 14:14:45 +0100 Subject: Cours du 24 au 28 novembre --- .../logique et notions formelles/8- Ensemble 1.md | 8 ++++++ .../logique et notions formelles/9- Ensemble 2.md | 12 +++++++++ .../logique et notions formelles/td/25-11-24.md | 30 ++++++++++++++++++++++ 3 files changed, 50 insertions(+) create mode 100644 semestre 3/logique et notions formelles/8- Ensemble 1.md create mode 100644 semestre 3/logique et notions formelles/9- Ensemble 2.md create mode 100644 semestre 3/logique et notions formelles/td/25-11-24.md (limited to 'semestre 3/logique et notions formelles') diff --git a/semestre 3/logique et notions formelles/8- Ensemble 1.md b/semestre 3/logique et notions formelles/8- Ensemble 1.md new file mode 100644 index 0000000..953d4dc --- /dev/null +++ b/semestre 3/logique et notions formelles/8- Ensemble 1.md @@ -0,0 +1,8 @@ +--- +tags: + - sorbonne + - philosophie + - logique-notions-formelles +semestre: 3 +--- +... \ No newline at end of file diff --git a/semestre 3/logique et notions formelles/9- Ensemble 2.md b/semestre 3/logique et notions formelles/9- Ensemble 2.md new file mode 100644 index 0000000..e122645 --- /dev/null +++ b/semestre 3/logique et notions formelles/9- Ensemble 2.md @@ -0,0 +1,12 @@ +--- +tags: + - sorbonne + - philosophie + - logique-notions-formelles +semestre: 3 +--- +Exemple d'ensembles infinis : +- nombres naturels ($\mathbb N$) +- points entre Paris et Besançon + +(C'est en fait un cours de maths simplifié) \ No newline at end of file diff --git a/semestre 3/logique et notions formelles/td/25-11-24.md b/semestre 3/logique et notions formelles/td/25-11-24.md new file mode 100644 index 0000000..fe2bea6 --- /dev/null +++ b/semestre 3/logique et notions formelles/td/25-11-24.md @@ -0,0 +1,30 @@ +--- +tags: + - sorbonne + - philosophie + - logique-notions-formelles + - td +semestre: 3 +--- +Pour montrer qu'un arg est valide, besoin de montrer que si une conséquence est fausse, alors au moins une prémisse est fausse + +$\models (P\land Q)\rightarrow P \equiv (\lnot P\lor\lnot Q)\land P$, ce qui est tout le temps vrai +-> vrai + +Si $Q$ est faux, alors c'est vrai (car le faux implique tout) +Si $Q$ est vrai, alors $P\rightarrow Q\equiv \lnot P\lor Q$ est vrai +-> vrai + +$(P\lor Q)\rightarrow R$ +Supposons $\bar d(P)=V$, donc $\bar d(R)=V$ (par hypothèse) +|> $\bar d(P\rightarrow R) = V$ +Supposons $\bar d(Q) = V$, donc $\bar d(R) = V$ (par hypothèse) +|> $\bar d(P \rightarrow R)$ ne peut pas être déterminé sans hypothèse supplémentaire +-> faux + +Supposons $P$ est vraie, donc $R$ est vraie (par hypothèse) +|> $P\rightarrow R$ est donc vraie +Supposons $Q$, donc $R$ est vraie (par hypothèse) +|> $Q\rightarrow R$ est donc vraie +Si ni $Q$, ni $P$ sont vraies, alors l'hypothèse est fausse. +-> vrai \ No newline at end of file -- cgit v1.2.3