16:01:05 22. 05. 2012
výroková forma
Autor [RNDr. Marián Olejár] Pridané [31/08/04] Posledná zmena [13/04/07]
matematika:
Výroková forma je vyjadrenie alebo výraz, ktorý vznikne nahradením mena, resp. niektorých mien indivíduí premennou, resp. premennými vo výroku.
Výroková forma umožňuje prechod od prirodzeného jazyka (anglického či slovenského), ktorým sa bežne dorozumievame, k skúmaniu vlastnosti jazyka formalizovaných viet ako jazykových výrazov. Príkladom povedané, v prirodzenom jazyku vetu Micka je mačka (oznamovacia veta), v logike formálne zapíšeme Mačka (Micka) a nahradením mena premennou prídeme k výrokovej forme Mačka(x). Je to jednoduchá jednomiestná forma.
Nech v dome sú tri mačky: Micka, Havelka a Babula, čo z formálneho či matematického hľadiska sú konštanty. Preto vo forme Mačka(x), x je menná (lebo sú tam tri mená) premenná. Ak za premennú x dosadíme príslušné mačky z bloku, potom dostaneme pravdivý výrok s hodnotou 1. Ak za x dosadíme meno Dunčo (to je pes), potom výrok Mačka (Dunčo) je nepravdivý, s hodnotou 0.
Valuácia: Jednoduchá jednomiestna forma M(x) nadobúda hodnotu pravda (1) pre tie hodnoty premennej, ktoré sú prvkom triedy, ktorej meno stojí pred zátvorkou. Nadobúda hodnotu nepravda, pre tie hodnoty premennej, ktoré nie sú prvkom tejto triedy.
Oborom definície premennej x sú zvieratá v bloku.Triedou M sú mačky. Takže výrok M(Havelka) nadobúda hodnotu 1 (pravda) a M(Dunčo) nadobúda pravdivostnú hodnotu 0 (nepravda).
Viď aj: veta,
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: výroková forma; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/vyrokova_forma.php
Výroková forma je vyjadrenie alebo výraz, ktorý vznikne nahradením mena, resp. niektorých mien indivíduí premennou, resp. premennými vo výroku.
Výroková forma umožňuje prechod od prirodzeného jazyka (anglického či slovenského), ktorým sa bežne dorozumievame, k skúmaniu vlastnosti jazyka formalizovaných viet ako jazykových výrazov. Príkladom povedané, v prirodzenom jazyku vetu Micka je mačka (oznamovacia veta), v logike formálne zapíšeme Mačka (Micka) a nahradením mena premennou prídeme k výrokovej forme Mačka(x). Je to jednoduchá jednomiestná forma.
Nech v dome sú tri mačky: Micka, Havelka a Babula, čo z formálneho či matematického hľadiska sú konštanty. Preto vo forme Mačka(x), x je menná (lebo sú tam tri mená) premenná. Ak za premennú x dosadíme príslušné mačky z bloku, potom dostaneme pravdivý výrok s hodnotou 1. Ak za x dosadíme meno Dunčo (to je pes), potom výrok Mačka (Dunčo) je nepravdivý, s hodnotou 0.
Valuácia: Jednoduchá jednomiestna forma M(x) nadobúda hodnotu pravda (1) pre tie hodnoty premennej, ktoré sú prvkom triedy, ktorej meno stojí pred zátvorkou. Nadobúda hodnotu nepravda, pre tie hodnoty premennej, ktoré nie sú prvkom tejto triedy.
Oborom definície premennej x sú zvieratá v bloku.Triedou M sú mačky. Takže výrok M(Havelka) nadobúda hodnotu 1 (pravda) a M(Dunčo) nadobúda pravdivostnú hodnotu 0 (nepravda).
Viď aj: veta,
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: výroková forma; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/vyrokova_forma.php