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
Stránky: 1
Ahojte,nemohl by mi nekdo poradit s logikou.
Máme někde sehnat na internetu nebo dokázat tyhle 2 věci:
1.Dokažte nezávislost axiomatického systému ve Výrokové logice
2.Najít a napsat axiomatický systém výrokové logice(ne negaace a implikace,ale jiné,jako např ekvivalence,konjunkce,disjunkce-má jít vlastně o odvozovací systém pro aximy)
Pokoušela jsem se něco najít na internetu ,ale bezvýsledně.A dokázat to,to nedokážu
Tak jestli by mi někdo pomohl,byla bych mu moc vděčná,děkuji
Offline
Stránky: 1