Ekvivalentná transformácia formúl

Pridať odkazy
z Wikipédie, slobodnej encyklopédie

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

Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.
Zdroj: „https://sk.wikipedia.org/w/index.php?title=Ekvivalentná_transformácia_formúl&oldid=921466“