Sono date le seguenti regole:
- regola(1,[a],b)
- regola(2,[p,q],v)
- regola(3,[t],n)
- regola(4,[v],z)
- regola(5,[b,c],w)
- regola(6,[a,b],c)
- regola(7,[t,n],v)
- regola(8,[t],v)
Trovare:
- la lista L1 che descrive il procedimento per dedurre w conoscendo a;
- la lista L2 che descrive il procedimento per dedurre z conoscendo p e q;
DISCUSSIONE
Osserva
Risposte
- L1 = [1,6,5]
- L2 = [2,4]