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 z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.