Regole e deduzioni – P3

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:

  1. la lista L1 che descrive il procedimento per dedurre w conoscendo a;
  2. la lista L2 che descrive il procedimento per dedurre z conoscendo p e q;

DISCUSSIONE

Osserva

       

Risposte

  1. L1 = [1,6,5]
  2. L2 = [2,4]