Avatar uživatele
Registrovaný

Predikátová logika

Prosím, poraďte, jak zapsat jazykem predikátové logiky toto souvětí: Jestliže některý člověk vyhraje ve Sportce, pak někteří akcionáři Sportky nezbohatnou. Budu moc ráda, pokud mi i osvětlíte, jak na to a taky jak z toho utvořit negaci. Předem moc děkuji.

Uzamčená otázka – ohodnoťte nejlepší odpověď symbolem palce.

Nejlepší odpověď

Avatar uživatele
Zlatý

však to je výrok zapísaný predikátovou logikou:
"Jestliže některý člověk vyhraje ve Sportce, pak někteří akcionáři Sportky nezbohatnou"
je daný predpoklad, za ktorého bude výrok bude pravdivý.

Negáciou výroku potom bude:
Všichni akcionáři Sportky zbohatnou právě tehdy, když žádný člověk nevyhraje.
Doplňuji:
Yanek1:

samozrejme, že chýbajú kvantifikátory, ale otázka nebola kladená na syntaktický zápis, k tomu chýba požadovaná konvencia zápisu (existuje viacej konvencií líšiacich sa zápisom a to ako významovo tak logicky (prioritou operácií, z čoho zákonite vznikajú rozdiely v podmienkacha napr. negácii [podmienky vs. výroku])).

preto sa pri rozdielnosti konvencie používa výroková logika, nakoľko nebola stanovená konvencia zápisu, takže z hľadiska logiky môžeme samotný dotaz považovať ze nelogický (resp. za neriešiteľný pre nedostatok vstupných údajov).

riešením by bolo uvedenie riešenia v niekoľkých dohodnutých konvenciách, ale s ohľadom na možnosti tohto servera vkladať obrázky (priamo) je to bezpredmetné (značnú časť operátorov nemožno zobraziť pomocou ASCII kódu).

je to teda odpoveď značne zjednodušená, priznávam, lebo samotný kalkul nebol podaný.

 

Další odpovědi:

Avatar uživatele

Depa, tohle je jen výroková logika. Chyběj kvantifikátory.

 

Diskuze k otázce

Avatar uživatele
Bronzový

Fyzik

Ta negace je špatně, tedy: žádný člověk ve Sportce nevyhraje a někteří akcionáři Sportky zbohatnou.

 

Přihlásit se

Položte otázku, odpovězte, zapojte se, …

začněte zde

Reklama

Kvalitní odpovědi v: Věda

Zlatý annas 2862
Zlatý quentos 1355
Zlatý mosoj 1324
Zlatý Drap 1007
Zlatý led 628
Zlatý hanulka11 627
Zlatý gecco 615
Zlatý marci1 564
Zlatý Kepler 536
Zlatý Lamalam 531

Zobrazit celkový žebříček

Facebook

 

Váš požadavek se vyřizuje, počkejte prosím.