Tautológia výrokovej logiky

Z Wikipédie

Tautológia výrokovej logiky

tautológia výrokovej logiky je formula, ktorá má v poslednom stĺpci tabuľky vo všetkých riadkoch P. Tautológia vyrokovej logiky umožňuje vykonávať ekvivalentné transformácie formúl.



Obsah

[ú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}}.

[úprava] Tautológia výrokovej logiky - druhy/príklady

tautológia výrokovej logiky

zákon Claviov

zákon Dunsa Scotta

zákon reflexivity implikácie

zákon sporu

zákon vylúčeného tretieho


[úprava] Pozri aj

tautológia výrokovej logiky

drudy/príklady tautológie výrokovej logiky


[úprava] Tautológia - názory na ňu

tautológia

tautológia (logika matematická)

tautológia (logika tradičná)


[úprava] Pozri aj

tautológia

kontradikcia

názory na tautológiu