1) Základy logiky

Created by Nikol Vypior (osobní/personal)

Teoretický úvod do problematiky v rozsahu školní maturity z jednoho pražského gymnázia, včetně příkladů v levé části stránky. Materiály vytvořené studenty, neprošly korekturou a není možné garantovat byly jejich správnost či úplnost.

#disjunkce, #ekvivalence, #implikace, #konjukce, #logika, #matematické příklady, #matematika, #matika, #maturita, #maturitni otazky z matematiky, #maturitní otázky, #příklady, #příklady z matematiky, #výrok, #základy logiky

Provšechnítko ∀

Čte se "Pro všechny" nebo "Pro každé".

Existítko ∃

Čte se "existuje".

Neexistítko ∄

Čte se "neexistuje".

Kvantifikátory

Složený výrok

Vzniká kombinací jednoduchých výroků pomocí logických spojek. Například:

Mně je 18 a Pepovi je 19. | Dnes je úterý nebo středa. | Když bude ještě týden pršet, budou povodně.

Jednoduchý výrok

Například:

Jsem muž. | Je mi 18 let. | Párek v rohlíku stojí 108 Kč.

Označují se obyčejně jedním písmenkem: a, b

Negace kvantifikovaných výroků

Logické spojky

Výrok vs hypotéza

Negace - hledání pravého opaku

Příklady výroků a jejich matematických zápisů

Pravda nebo nepravda? - tabulka pravdivostních hodnot

Výroková forma

Výroková forma je v podstatě funkce, která vrací pro určité hodnoty 1 jako pravdu a pro jiné 0 jako lež.

Existují speciální formy které mají své speciální názvy. Tautologie je výroková formule, která je vždy pravdivá. Kontradikce je výroková formule, která je vždy lživá. Splnitelná formule je někdy pravdivá a jindy ne.