You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Regles deductives<br />
Modus ponens<br />
(MP)<br />
Si plou, aleshores la<br />
riera es desbordarà<br />
Plou<br />
La riera es<br />
desbordarà<br />
A = plou<br />
B = la riera es<br />
desbordarà<br />
Si A, aleshores B<br />
A<br />
Per tant, B.