Matematická logika - nevim jak na to :(

Přehled příspěvků

Ahoj lidi, prosím jak na tyhle úlohy, píšu příští týden test a nějak se nemůžu dostat k výsledku :(

Ukažte, že libovolný výrok, lze zapsat pouze pomocí symbolů { ┐, ʌ } (negace, konjunkce)
Nalezněte DNT a KNT a) ┐((P ʌ ┐Q) => ┐(R v S)) b) (A ʌ B) <=> (A => C)

děkuji moc předem Jirka

✓ Téma bylo vyřešeno.

Jiří R.

25. 11. 2016 00:17

7 odpovědí

Marek V.

20.11.2016 17:06:46

Ahoj Jirko, tohle je nadhernej priklad. Je hodne slozitej, takze na to natocim video. Jinak prosimte co je mysleny tim DNT a KNT?

Jiří R.

20.11.2016 17:34:18

Ahoj Marku,

dekuji moc za natoceni videa, stihnes ho do patku nez budu psat test? Byl bych Ti moc vdecny.

Jo jinak DNT = disjunktivni normalni forma, KNT = konjunktivni normalni tvar :-)

Jirka

Marek V.

22.11.2016 01:17:23

Jo, stihnu. Snad to bude to co potřebuješ. Nejsem expert na logiku hlavně po formalni strance,a le tohle mě bavi a myslim, že to snad vysvětlim rozumně.

Marek V.

24.11.2016 04:04:38

Ahoj Jirko, tak tadz je to video>http://mathematicator.com/index.php?page=play&a=376

Nakonec se mi tam vešla jen ta první část s důkazem, ale zbytek už je jednoduchej. Prostě to použij jako vzoreček. Pdobně jako to dělám s tou ekvivalencí na konci.

Jiří R.

24.11.2016 13:28:28

Ahoj Marku,

díky moc za video, bylo super!

Marek V.

24.11.2016 21:07:14

Bezva. je ti to dál jasný?

Jiří R.

25.11.2016 00:17:54

Jo jo dal sem to dohromady, dal v prednaskach sem nalezl jeste to, ze nakonec muzem pouzit jediny symbol s ktereho odvodim vsechny symboly. Vis schvalne jaky?

Pro napsání komentáře se musíte přihlásit.

Položit nový dotaz