ZADANIE 2

ZADANIE 3

ZADANIE 4

GRUPA B

Dane są przesłanki:
Kazdy student musi miec indeks.
Olek jest studentem.

Wykaż ,przy pomocy zasady rezolucji ,że zdanie ,,Olek musi mieć indeks,, jest logicznie
CEL: olek musi miec indeks
~CEl: olek nie musi miec indeksu
kiedy: nie jest studentem
co jest falszem poniewaz istnieje przeslanka
olek jest studentem
takze cel jest prawdziwy
SUM(EXP(2,N)EXP(SUM 1,(EXP(N,2))2))

Z czego:
SUM(n+1,m)=(SUCC(SUM(n,m)))
PROD(0,n)=0
PROD(n+1,m)=SUM(n,PROD(n,m))
EXP(m,0)=1
EXP(m,n+1)=PROD(m,EXP(m,n))