Matematické Fórum

↑↑ check_drummer:

Samozřejmě, že (zcela formálně vzato) i ta Pythagorova věta by měla být "obalena" obecným kvantifikátorem. Všeobecně se ale předpokládá, že matematická věta platí vždycky, jinak by celá matematika ztratila smysl. Takže i když v obecných větách ten kvantifikátor explicitně není, mčky se tam předpokládá, tj. je to jakýsi
"metakvantifikátor " :-)

Jinak - tabulka pravdivostních hodnot není opravdu nic víc, než jakýsi stručný dohodnutý zápis vyplývající z odvozovacích pravidel.

↑ Eratosthenes:
Já bych řekl, že Pythagorova věta je regulérní tvrzení s obecným kvantifikátorem - pro každý trojúhelník platí, že ....
Mnoho vět je ve skutečnosti tvrzením s obecným kvantifikátorem, začínají např. obratem "nechť T je trojúhelník ..." nebo "mějme trojúhelník T ...", apod. Dokonce se v logice dokazuje, že tvrzení s volnou proměnnou je ekvivalentní tvrzení, kdy tuto volnou proměnnou kvantifikujeme obecným kvantifikátorem.

Některá tvrzení nejsou tvrzeními s obecným kvantifikátorem, ale ty s tím obecným jsou nejběžnější.
Jsou i tvrzení s existenčními kvantifikátory a nebo s žádnými, např. popisujícími nějakou vlastnost konkrétního objektu - i když i tuto vlastnost lze někdy formulovat jako obecný nebo existenční výrok.
Např. "3+2=5".

Ještě by mě třeba zajímalo, když nějaká implikace NEPLATÍ, tak to znamená, že v té pravdivostní tabulce bude jako výsledek vždycky nula, nebo tam může být cokoliv ?

Nebo je jiná tabulka když řeknu "tvrzení neplatí" a jiná když řeknu "tvrzení obecně neplatí" ?

↑ MichalAld:

MichalAld napsal(a):

Ještě by mě třeba zajímalo, když nějaká implikace NEPLATÍ, tak to znamená, že v té pravdivostní tabulce bude jako výsledek vždycky nula, nebo tam může být cokoliv ?

p q   p => q

1 1      1    ("implikace platí")
1 0      0    ("implikace neplatí")
0 1      1    ("implikace platí")
0 0      1    ("implikace platí")

MichalAld napsal(a):

Nebo je jiná tabulka když řeknu "tvrzení neplatí" a jiná když řeknu "tvrzení obecně neplatí" ?

Zdá se mi, že si pleteš dohromady celkem tři věci:

1) Individuální výroky
2) Logiku prvního řádu - díky ↑ check_drummer: - opravuji nultého řádu
3) Logiku  druhého řádu - díky ↑ check_drummer: - opravuji prvního řádu

1) Individuální výrok je to nejjednodušší sdělení, o kterém má smysl rozhodovat, zda je to pravda, anebo ne. Prší. Čislo pět je prvočíslo. To nerozhodneš žádnou tabulkou. Je to sémantická záležitost, na které se musíš buď dohodnout (jestli sem tam ta kapka, které spadne, už je déšť), anebo dokázat použitím prostředků, které jsou mimo logiku (na pojmy "číslo" a "prvočíslo" logika sama nestačí).

2) Logika nultého řádu (opraveno ↑ check_drummer: ) : je logika složených výroků, tj. dvou, anebo více individuálních výroků spojených logickými spojkami. Tam už tě nezajímá obsah individuálních výroků. Musíš o nich vědět jenom to, zda jsou pravdivé, anebo nepravdivé. A pak můžeš o pravdivosti složeného výroku rozhodovat tabulkou.

3) Logika prvního řádu (opraveno ↑ check_drummer: ): je logika kvantifikovaných výrokových forem. Výrokový forma je "výrok", který obsahuje proměnnou, a o jehož pravdivosti nelze rozhodnout (číslo n je prvočíslo).  Rozhodnout můžeš až buď

  a) dosadíš za proměnnou (číslo pět je prvočíslo)

anebo

  b) výrokovou formu kvantifikujeě

       Existuje číslo, které je prvočíslo  - existenční výrok
       Každé číslo je prvočíslo - obecný výrok.

Výroková forma platí obecně v případě, kdy je pravdivý příslušný obecný výrok. ¨

       Dvojciferné prvočíslo je liché. Je výroková forma (nevíš konkrétně, o jakém prvočísle je řeč), ale platí obecně, protože každé dvojciferné prvočíslo je liché.

       Prvočíslo je liché.  Je to výroková forma, která obecně neplatí, protože výrok "každé prvočíslo je liché" je nepravdivý.

MichalAld napsal(a):

Nebo je jiná tabulka když řeknu "tvrzení neplatí" a jiná když řeknu "tvrzení obecně neplatí" ?

Když máš nějaké tvrzení, o kterém říkáš, že "obecně" platí, tak je to většinou tak, že toto tvrzení je kvantifikováno obecným kvantifikátorem. Tedy P(x) obecně platí - pokud platí [mathjax](\forall x)P(x)[/mathjax], tj. P musí platit pro všechna x.

Jak jsem psal už dřív - implikace se v drtivě většině případů nepoužívá jako výrok P=>Q, ale jako výrok [mathjax](\forall x)(P(x) \Rightarrow Q(x))[/mathjax], kde x je nějaká proměnná. (Samozřejmě P,Q mohou záviset na více proměnných než na jedné - ale ber to třeba tak, že potom je x nějaký vektor se složkami.)
Pak tvrzení, že tato implikace obecně neplatí, znamená, že existuje nějaké x0, kdy ta implace neplatí, tj. kdy implikace [mathjax]P(x_0) \Rightarrow Q(x_0)[/mathjax] neplatí, tj. kdy platí P(x0) a neplatí Q(x0).

Nebo ještě jinak - impliakce [mathjax]P(x) \Rightarrow Q(x)[/mathjax] nemusí obecně platit, protože neplatí pro všechna x, ale pro nějaké x1 může platit implikace [mathjax]P(x1) \Rightarrow Q(x1)[/mathjax].