Diskuse:Výrok (logika)

Heslo je v zoufalém stavu. Musí se upravit, anebo nesmyslné části (což snad měly být tabulky) vypustit. Dělá to Wiki vyloženě ostudu. --Sokoljan 26. 9. 2009, 11:04 (UTC)

Článek obsahuje nestandardní znaky, které se asi většině čtenářů nemusí zobrazit (ve FF3 jsou jen čtverečky). Z toho důvodu dávám UU. JAn 28. 10. 2009, 10:02 (UTC)

Z nevyhovující podoby jsem článek revertoval ke starší verzi. Některé odstraněné pasáže by se však daly využít například pro článek Výroková logika. --Jvs 5. 11. 2009, 12:49 (UTC)

Sloučit?

Viz související články.--Juandev (diskuse) 3. 5. 2012, 07:39 (UTC)

Co s nimi?--Tchoř (diskuse) 3. 5. 2012, 09:02 (UTC)

"Související články" sem věcně nepatří a proti sloučení bych nebyl. Ale nejsem logik. Zdraví --Sokoljan (diskuse) 3. 5. 2012, 16:57 (UTC)

Já jsem jenom informatik, ale slučte to. Část o demorganovách zákonech v druhém článku navís patří spíše do souhrného článku o logických spojkách (logických operacích), kterýj je řádově více než pouze 4 běžně uváděné. --Fafrin (diskuse) 3. 5. 2012, 19:58 (UTC)

Nerozhodnutelný výrok?

Dotaz: Je výrokem tvrzení, jehož pravdivost nelze dokázat, ani vyvrátit?

Viz úvodní věta článku. Výrok je, pokud se lze ptát jestli je věta pravdivý či nikoliv. Nemusí být nezbytně možné o její pravdivosti rozhodnout. (Přiřadit výroku pravdivostní hodnotu). Ostatně výrok, který je v jednom kontextu pravdivý, nemusí být pravdivý v jiném. (Např. pravdivost x + 1 = 0, závislý na tom, jaká hodnota je přiřazena x a také na tom, jaký význam mají symboly +, 1, = a 0.). Jo, a Wikipedie není poradna.--Fafrin (diskuse) 13. 5. 2016, 18:08 (CEST)