L'équivalence entre la conjonction des hypothèses d'un ensemble et la conjonction de celles-ci et de la conséquence sémantique de l'ensemble est une tautologie.
J'ai bon ?
On vient de commencer le cours, on n'est qu'au début, et je trouve ça terrible ! Je ne connaissais pas du tout la logique des propositions.
C'est pas toujours facile mais qu'est-ce que c'est marrant ! Par exemple, comme là-haut, on abouti à des théorèmes incompréhensibles au premier abord, mais tout à fait logiques
Sinon on s'éclate aussi à trouver le coupable entre 3 personnes qui disent :
"c'est pas moi, et si Jean est le menteur, Marc est coupable"...
Et ce n'est que le début ! Je me demande à quoi on va aboutir à la fin du semestre.
