alebo nájdi dovolenku:

Robota.sk Za lepším zamestnaním.



Hľadať zamestnanie pre fulltextom

Odvodzovacie pravidlo

Odvodzovacie pravidlo je základný dokazovací prostriedok, s pomocou ktorého možno z formulí, o ktorých je známe, že sú dokázateľné, odvodiť (dedukovať) ďalšiu dokázateľnú formulu. V rámci bežnej logiky vystačíme s použitím pravidla odlúčenia a pravidla generalizácie. Možné je však používať aj ďalšie odvodzovacie pravidlá, napr. pravidlo substitúcie.

čítajte viac o Odvodzovacie pravidlo

Encyklopédia: ROBOTA.SK > Matematika > Logika >

Dôkazy
Kritické myslenie
Logici
Logické klamy
Logické zákony

Matematická logika
Neklasické logiky
Paradoxy

Sofistika


Príbuzné výrazy:


Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.