CRA.pdf

userch02

APUNTS SOBRE LÒGICA PROPOSICIONAL,DEDUCCIÓ NATURAL, RESOLUCIÓ * I ALGORITME DE D-P. *Pd: el títol m’he equivocat, és resolució no reducció.