Diagrammes de Venn et logique des prédicats

Qui ne s'est jamais arraché les cheveux avec des syllogismes du type :  "Socrate est un homme, tous les hommes sont mortels donc Socrate est mortel " ou d'autres propositions logiques  plus complexes ? Il suffit de s'aider des diagrammes de Venn ( patates, ensembles ) et tout parait plus simple. Le site suivant demande l'installation de Java ( sur java.com )  et il...

Publié le 22/11/2006 dans Inclassables... par Olivier Leguay | Lire la suite...