Typ výrokové formule
Dobrý den, prosím o radu o jaký typ výrokové formule jako celek se jedná? Děkuji.
Katka S.
08. 02. 2024 17:22
5 odpovědí
Zdravím.
Pokud symbol \(\veebar \) znamená "vylučovací nebo" (XOR), pak se jedná o tautologii.
Ahoj Zdeňku. Jako celek je to ekvivalence.
Zdravím.
Nemohu souhlasit.
Výrokové formule jsou buď atomické, nebo složené. Tautologie je pak speciální typ složené výrokové formule (a to je tento případ za mnou zmíněné podmínky).
Ekvivalence (v logice) je logická spojka.
Já nerozporuju, že je to tautologie. Myslel jsem to tak že jako celek, je ta výroková formule ekvivalencí. Stejným způsobem, jako tento výraz (x+1)*(x+5) je součin.
V tom bude asi ten problém.
Budete mít otázku "Jaký typ výrazu je \((x+1)\cdot (x+5)\)?" a očekáváte odpověď "součin". Ale student vám odpoví "krát".