Logica si argumentare - Verificarea validitatii silogismelor prin metoda diagramelor VENN