Ekvivalentná transformácia formúl

Z Wikipédie

Transformácia formúl ekvivalentná

transformácia formúl ekvivalentná je taká úprava formúl, aby výsledná formula bola logicky zhodná s pôvodnou. Umožňuje ju tautológia výrokovej logiky.



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] Pozri aj

transformácia formúl ekvivalentná

logika výroková

tautológia výrokovej logiky


[úprava] Transformácia - druhy/príklady

transformácia

transformácia formúl ekvivalentná


[úprava] Pozri aj

transformácia

druhy/príklady transformácie

transformand

transformát