From 341fc63ff791e08c7d0a00346080067c9bd1d5dd Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Sat, 1 Nov 2025 13:27:41 +0100 Subject: Cours du 17 au 21 octobre --- semestre 3/logique et notions formelles/1- Introduction.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'semestre 3/logique et notions formelles/1- Introduction.md') diff --git a/semestre 3/logique et notions formelles/1- Introduction.md b/semestre 3/logique et notions formelles/1- Introduction.md index ccd40bd..f3cede3 100644 --- a/semestre 3/logique et notions formelles/1- Introduction.md +++ b/semestre 3/logique et notions formelles/1- Introduction.md @@ -75,7 +75,7 @@ Argument est constitué de prémisses et d'une conclusion reliées par des expre Validité ici est la *validité déductive* et non inductive -Un argument est dit correct si les prémisses sont vraies et si l'argument est correct +Un argument est dit correct si les prémisses sont vraies et si l'argument est valide Il existe un lien entre validité et vérité |> validité dépend pourtant du rapport entre prémisses et conclusion et non de la valeur de vérité des énoncés -- cgit v1.2.3