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 15. 10. 2013 20:17
"Výroky"
Ahoj zítra pišeme test z "výroku" a já to vubec nepobírám a sotva vím o co tam jde ..
Mohl by mě nekdo poradit s těmito příklady?
Ověřte, zda následující výrokové formule jsou tautologiemi.
a) a ∨ ¬ a
b) (a ∧ b) ⇒ (a ∨ b)
c) (¬ a ⇒ b) ⇔ (a ∨ b)
Potreboval bych postup reseni a proc zrovna tak , dík
Offline
#3 16. 10. 2013 20:34
Re: "Výroky"
Ahoj,
jen doplním postup, o který si píšeš:
a)
A=1... ¬A=0 výrok pravdivý
A=0... ¬A=1 výrok pravdivý
tj. tautologie
b)
V1= (a ∧ b)
A=1 B=1.... pravda
v ostatních případech nepravda
V2= (a ∨ b)
A=0 B=0... nepravda
ostatní případy pravda
V1⇒V2
očividně není tautologie.
c) už sám zvládneš, pokud ne, tak napiš, pomůžu ti :)
Hodně štěstí!
Offline
