Pravidlo modus ponens
Z Wikipédie
Pravidlo modus ponens
pravidlo modus ponens = pravidlo odlúčenia je znie: Ak sme odvodili vetu 'ak A, tak B' a vetu 'A', tak možno odvodiť aj vetu 'B'.Toto pravidlo sa dá vždy jednorazovo automaticky uplatniť.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok
Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.