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 semble impératif de débuter par le tuteur simple avec 2 premisses pour comprendre la logique, enfin allez y très progressivement. Consultez l'aide si vous peinez trop mais je trouve que le tuteur est efficace, j'y retourne... Ah oui j'oubliais, pour faire apparaitre une premisse il faut cliquer sur la toute petite flêche à droite de premisses, et n'oubliez pas de remplacer les lettres par des substantifs  et adjectifs sympathiques.

 C'est ICI