formy zdaniowe

pentel · Post autor: **pentel** » 15 wrz 2007, o 15:20

witam

Mam takie zadanie:

Utwórz złożone formy zdaniowe i podaj pojedyncze przykłady.

\(\displaystyle{ p \wedge q \\ p(x)\wedge q(x)}\)

Jak to dobrze roumiem to ma być np. Miasto x i miasto x leżą w Europie. Dobrze?

[edit] Poprawilem zapis, prosze zapoznac z instrukcja Latex'a na forum. Kuch2r

Xfly · Post autor: **Xfly** » 15 wrz 2007, o 18:33

Hmm forma zdaniowa (predykat) jest to takie wyrażenie matematyczne które po podstawieniu w miejsce zmiennej (zmiennych) pewnych wartości należących do dziedziny staje się albo zdaniem prawdziwym albo fałszywym. Czyli zdanie logiczne nie jest równoważne formie zdaniowej.
Ponieważ zdanie logiczne jest albo prawdziwe albo fałszywe (zależy to od wartości zmiennych zdaniowych i od użytych funktorów).Natomiast spełnienie lub niespełnienie formy zdaniowej jest zależne od tego jaki element dziedziny podstawimy za zmienną (zmienne).

Np. D- dziedzina D={Warszawa, Londyn, Pekin, Szczecin}

p(x) = miasto x leży w Polsce

p(x) jest prawdziwe kiedy podstawimy z dziedziny np. Warszawa, natomiast staje się zdaniem fałszywym kiedy w miejsce zmiennej x podstawimy np. Pekin.

pentel · Post autor: **pentel** » 15 wrz 2007, o 21:27

regułke to ja znam

chodzi mi o przykłady zdan

Xfly · Post autor: **Xfly** » 16 wrz 2007, o 15:59

Jakbyś był świadom definicji formy zdaniowej to byś potrafił wymyślić wiele przykładów.

Np. D={Warszawa, Tokio, Waszyngton, Pekin, Londyn, Berlin, Kair}

\(\displaystyle{ p(x)}\) - Miasto x leży w Europie
\(\displaystyle{ q(x)}\) - Miasto x leży w Polsce

zdanie \(\displaystyle{ p(x) q(x)}\) jest prawdziwe dla np. Warszawy, a fałszywe np. dla Berlina