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 01. 12. 2022 17:51
Negace výroků.
Ahoj, chtěl bych se poradit z negací dvou výroků:
a) Někdo, kdo je levák, nosí brýle.
b) Všichni nosí šálu, ale ne čepici.
a) bych negoval takto: Všichni leváci nenosí brýle.
b) bych negoval takto: Existuje jeden, který nosí šálu i čepici. Zde si ale nejsem jistý, jestli se nejedná spíše o konjunkci. Jak by jste to případně argumentovali (to že to je / není konjunkce)?
Díky moc.
Offline
- (téma jako vyřešené označil(a) Mr.Luc)
#2 01. 12. 2022 18:17
- mirek_happy24
- Místo: Praha
- Příspěvky: 156
- Škola: Gymnázium Na Pražačce
- Pozice: student
- Reputace: 6
- Web
Re: Negace výroků.
Neguje se tak, že popřu pravdivost daného výroku.
Tedy za a) Není pravda, že někdo, kdo je levák, nosí brýle.
Což se dá přepsat jako, že všichni, co jsou leváci, brýle nenosí.
b) Není pravda, že všichni nosí šálu, ale ne čepici.
Někdo nosí šálu a někdo čepici.
INTELIGENTI SI ROZUMĚJÍ
Offline
#3 01. 12. 2022 18:41
- Eratosthenes
- Příspěvky: 2764
- Reputace: 136
Re: Negace výroků.
↑ mirek_happy24:
Základem je tady správná formalizace, tj. přepis do standardních formulací predikátové logiky. Výroky pak říkají:
a) Existuje levák, který nosí brýle
b) Každý člověk nosí šálu a nenosí čepici
Neguješ tak, že zaměníš kvatifikátor a neguješ výrok za ním.
Budoucnost patří aluminiu.
Online
#4 01. 12. 2022 19:32
Re: Negace výroků.
↑ Eratosthenes: Takže chápu dobře, že u toho prvního bude negace tak, jak jsem psal, tedy Všichni leváci nenosí brýle a u druhého výroku se skutečně jedná o konjunkci, tedy negace bude Existuje človšk, který nenosí šálu nebo nosí čepici?
Offline