// Questo documento si trova presso <http://mondodomani.org/mneme/>
// Copyright (c) 2001 Giovanni Salmeri <g.salmeri@mclink.it>

validi = new Array(
0, 11, 202, 213, 1, 203,
1202, 1022, 1033, 1213, 1203, 1023,
2001, 2011, 2101, 2203, 2213, 2303,
3001, 3022, 3203, 3213, 3101, 3023) ;

nomi = new Array(
"barbara", "darii", "celarent", "ferio", "barbari", "celaront",
"cesare", "camestres", "baroco", "festino", "cesaro", "camestrop",
"darapti", "datisi", "disamis", "felapton", "ferison", "bocardo",
"bamalip", "camenes", "fesapo", "fresison", "dimaris", "camelop") ;

quantif = new Array("ogni", "qualche", "nessun", "non ogni") ;

var prove = 0 ;
var giuste = 0 ;
trovato = new Array(
true, false, false, false, false, false,
false, false, false, false, false, false,
false, false, false, false, false, false,
false, false, false, false, false, false) ;
// Il sillogismo barbara viene escluso dalle risposte valide

function inizio(mods)
	{ prove = 0 ;
 	giuste = 0 ;
	trovato = new Array(
true, false, false, false, false, false,
false, false, false, false, false, false,
false, false, false, false, false, false,
false, false, false, false, false, false) ;
 // Il sillogismo barbara viene escluso dalle risposte valide
	mods.reset() ; }

function riscrivi(mods)
	{ if ((mods.elements[0].selectedIndex == 0) || (mods.elements[0].selectedIndex == 2))
		{ prop1 = " B "+unescape("%E8")+" C" ; }
	else
		{ prop1 = " C "+unescape("%E8")+" B" ; }
	if ((mods.elements[0].selectedIndex == 0) || (mods.elements[0].selectedIndex == 1))
		{ prop2 = " A "+unescape("%E8")+" B" ; }
	else
		{ prop2 = " B "+unescape("%E8")+" A" ; }
	mods.elements[4].value = "Se " + quantif[mods.elements[1].selectedIndex] + prop1 +"\ne "+ quantif[mods.elements[2].selectedIndex] + prop2 +",\nallora "+ quantif[mods.elements[3].selectedIndex] + " A "+unescape("%E8")+" C" ; }

function controllo(mods)
	{ sillog = mods.elements[0].selectedIndex*1000 + mods.elements[1].selectedIndex*100 + mods.elements[2].selectedIndex*10 + mods.elements[3].selectedIndex ;
 	var valido = false ;
 	var i = 0 ;
 	while (i < 24)
		{ if (sillog == validi[i])
			{valido = true ;
 			break ; }
		else
			{ i++ ; } }
	if (valido)
		{ if (!trovato[i])
			{ trovato[i] = true ;
 			giuste++ ;
 			prove++ ;
 			alert ("Sillogismo valido: "+nomi[i]+"\n(Risposta "+ prove+")") ; }
		else
			{ alert ("Sillogismo gi"+unescape("%E0")+" trovato: "+nomi[i]) ; } }
	else
		{ prove++ ;
 		alert ("Sillogismo invalido"+"\n(Risposta "+ prove+")") ; }
	if (prove == 5)
		{ alert ("Risposte giuste: " + giuste + " su 5\nVoto: " + giuste*2) ;
 		inizio(mods) ; } }