BatouOfPyramide
2022-11-27 23:43:25
Le 27 novembre 2022 à 23:30:04 :
La logique tu parles de la logique propositionnelle où la seule chose à vraiment connaitre c'est que A => B est équivalent à Non(B) => Non(A) ?
Ou alors tu parles de logique des prédicats ?
Modus ponens, contraposée, équivalence, réciproque principe d'inférence, opérateurs ET, OU, NON, tables de vérité, lois de Morgan...
logique des prédicats pourquoi pas, le "pour tout" et le "il existe" c'est déjà bien
et les trois principes de la logique
c'est déjà une base que 99% des gens n'ont pas