Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 27. 09. 2018 22:05

mt3
Zelenáč
Příspěvky: 6
Reputace:   
 

Výroková logika

Někdo z podezřelých Antonín, Boris, Cyril v muzeu ukradl sošku. Všichni tři svědci této události pravdivě vypověděli následující:
1) V muzeu nebyl podezřelý Cyril nebo není pravda, že tam byl alespoň jeden z dvojice Antonín, Cyril.
2) Podezřelý Cyril byl v muzeu právě tehdy, když tam nebyl nikdo z dvojice Antonín, Boris.
3) Pokud není pravda, že v muzeu byl podezřelý Antonín spolu s podezřelým Borisem, pak tam byl podezřelý Cyril.
Kdo je nevinný?

Offline

 

#2 27. 09. 2018 22:09

misaH
Příspěvky: 13467
 

Re: Výroková logika

↑ mt3:

A s čím konkrétne máš problém?

Offline

 

#3 27. 09. 2018 22:15

mt3
Zelenáč
Příspěvky: 6
Reputace:   
 

Re: Výroková logika

↑ misaH: Nějak nejsem schopná zapsat jednotlivé výpovědi pomocí logických spojek... Celá úloha vlastně ani není domácí úkol jako spíš zajímavý příklad, který nám kdysi učitel ukázal a je prý jen zcela na nás, jestli se dobereme výsledku nebo ne... Už jsou to dva roky, co jsme výroky brali a já si u nedokážu vzpomenout jak tohle vyřešit

Offline

 

#4 27. 09. 2018 22:25 — Editoval misaH (28. 09. 2018 10:08)

misaH
Příspěvky: 13467
 

Re: Výroková logika

↑ mt3:

1.

nonC alebo non(AaleboC)

2.

C ekvivalentné non(A a súčasne B)

3.

non(A a súčasne B) implikuje C

Vypíšeš všetky možnosti pravdivostných hodnôt pre A, B, C a postupne pre všetky 3 zložené výroky.

Nájdeš riadok, v ktorom sú všetky 3 zložené výroky pravda a pozrieš sa, pre ktoré pravdivostné hodnoty A, B, C to platí.

1 znamená urobil to, 0 znamená neurobil to.

...aspoň myslím, vyšiel mi jednoznačný nevinný.

Offline

 

#5 28. 09. 2018 08:26

Aspro1
Příspěvky: 181
Reputace:   
 

Re: Výroková logika

↑ misaH: Proč 2? Nepravda se obvykle označuje nulou.

Offline

 

#6 28. 09. 2018 10:10

misaH
Příspěvky: 13467
 

Re: Výroková logika

↑ Aspro1:

Jasné, má byť 0. Opravím - díky.

(Aj keď ani tá 2 by na podstate nič nezmenila  :-D )

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson