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
#2 20. 06. 2012 16:31
Re: Logicke vyplívanie
↑ zajcev: Jistě existuje rigoróznější způsob, mě napadlo jen toto: z prostředního axiomu plyne, že s je pravda a p nepravda. Pravá strana prvního axiomu je tedy nepravdivá, takže má-li být teorie bezesporná, musí být q nepravda. Poslední axiom je pro zjištěné pravdivostní hodnoty pravdivý, hodnota r je libovolná. Pro zjištěné pravdivostní hodnoty je ze tří nabízených odpovědí jistě pravdivá jen poslední (první je jistě nepravdivá, u druhé záleží na hodnotě r, nevyplývá tedy z teorie).
Offline