Regole e deduzioni – E2

Siano date le seguenti regole:

  • regola(1,[u,d],c)
  • regola(2,[q,n],g)
  • regola(3,[p,q],n)
  • regola(4,[c,d],z)
  • regola(5,[u],d)
  • regola(6,[n,u],m)

Trovare:

  1. la lista L1 che descrive il procedimento per dedurre g a partire da p e q;
  2. la lista L2 che descrive il procedimento per dedurre z a partire da u.

DISCUSSIONE

Osserva

          

Risposte

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