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 20. 02. 2019 21:22
Výroky - dôkaz
Dobrý deň,
začali sme brať formálny systém výrokovej logiky a mali sme tam cvičenia na dôkazy výrokov, napríklad toto mám dokázať pomocou vety o dedukcii:
Používali sme 3 základné axiómy, modus ponens, vetu o dedukcii, sylogizmus...
Neviem sa ale v tých príkladoch vôbec zorientovať. Tak som sa chcel spýtať, či by mi niekto neporadil, ako mám postupovať.
Ďakujem.
Offline