|
FILIT
Obsah Chronológia Registre Diskusia Správa Zoznam P |
Pravidlo modus ponenspravidlo modus ponens = pravidlo odlúčenia - 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ť ( L53;234).
|