Zdravím ve spolek, potřeboval bych poradit/zkontrolovat jeden příklad. Řešili jsme to asi 5 lidí a každý měl jiný zápis, a tím pádem i výsledek. Zde je zadání a zde mé řešení.
Edit: V řešení v posledním sloupci nemá být mezi závorkami "v", ale má tam být &.
Offline

↑ Lintner.T:
Nestudoval jsem to podrobně, ale řešilo se to tu (příspěvek 4 a dále).
Offline
↑ Lintner.T:
z 1. věty: Kdyby tam byl C, musí tam být i B - ale to je spor s podmínkou, že tam byl pachatel sám. Takže C tam nebyl.
z 2. věty. využití pravidla pro negaci konjunkce
plyne, že jeden z dvojice C A tam být musel.
Takže doporučuji zatknout A.
Offline