Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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