ShiShinka
Člen |
# Zasláno: 20 Bře 2010 10:17
Dobrý den, chtěla bych se zeptat, zda mi nějak pomůže znalost výroků, jejich pravdivostní hodnota či jejich negace. Protože v analytické části jsou věty přímo ve "vzorci" výroku (jestliže to, pak něco nebo něco).Ještě jsem ale pořádně nepřišla na postup, jak výroky použít. Mám jen takovou teorii - např. (Jestliže čeněk je geograf a řehoř je kartograf, tak čestmír je geometr. Čestmír není geometr. -> zneguji část Čeněk je geograf nebo Řehoř je kartograf) .. v některých případech jsem ale nedošla na nějaký daný postup, jak těchto výroků použít.(jestliže nejezdím na kole, tak nejsem doma a venčím psa -> mám znegovat nejdříve " nejsem doma a venčím psa" a pak ještě znegovat "nejezdím na kole"? nebo např. Když se kácí les, lítají třísky. Kácí se les nebo lítají kůrovci. - to si teď ani nevybavím,jaký postup negace jsem volila). Stačí mi jen odpověď, zda se mám negací výroků řídit, nebo se spíše spolehnout na selský rozum a jen to nějak logicky odvozovat. Co je lepší, rychlejší, snažší. Děkuji za odpověď
|
woland
Administrátor |
# Zasláno: 20 Bře 2010 10:31
Ještě jsem ale pořádně nepřišla na postup, jak výroky použít.
Nejprve je nutné zjistit, na co je mým úkolem v dané úloze: podle toho se pak zabývat dalším postupem.
V zásadě je možné úlohy, které se týkakjí výrokové logiky v TSP rozdělit do těchto hlavních kategorií:
* Hledání výroku, který je ekvivalentní výroku v zadání
* Hledání výroku, který je negací
* Zjištní, který výrok z dané skupiny výroků vyplývá
* Úvahy o pravdivosti výroků (např. úlohy začínající "z následujícícb tvrzení je pravdivé nejvýše jedno, ..." atp.)
***
Stačí mi jen odpověď, zda se mám negací výroků řídit, nebo se spíše spolehnout na selský rozum a jen to nějak logicky odvozovat. Co je lepší, rychlejší, snažší.
Jinak se postupuje, když mám zjisit, který výrok je ekvivalentní danému výroku, jinak se postupuje, mám-li zjisitt, zda nějaký výrok z něčeho vyplývá.
Zkuste u uvedených úloh napsat, co byl ten úkol.
|
