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
Stránky: 1
- Hlavní strana
- » Střední škola
- » Výroková logika dôkaz implikáciou (TOTO TÉMA JE VYŘEŠENÉ)
#1 05. 10. 2013 10:16
Výroková logika dôkaz implikáciou
Dobrý deň
Vedel by mi niekto pomôcť s nasedovným príkladom:
Študenti mali za úlohu dokázať, že pre každé prirodzené číslo n>10 platí V(n) (pričom V(n) je istá výroková forma).
Adam dokázal, že platí V(10) a dokázal platnosť implikácie V(k+1)=> V(k) pre každé prirodzené číslo k.
Barbora dokázala, že platí V(11) aj V(12) a dokázala platnosť implikácie V(k)=>V(k+2) pre každé prirodzené číslo k.
Cyril dokázal, že platí V(9) a dokázal platnosť implikácie V(k)=> V(k+1) pre každé prirodzené číslo k.
Kto z nich má správne riešenie?
Povedal by som že iba Barbora.
Offline
- (téma jako vyřešené označil(a) petronius)
#4 05. 10. 2013 11:01
Stránky: 1
- Hlavní strana
- » Střední škola
- » Výroková logika dôkaz implikáciou (TOTO TÉMA JE VYŘEŠENÉ)