formy zdaniowe

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
pentel
Użytkownik
Użytkownik
Posty: 113
Rejestracja: 19 lis 2006, o 14:12
Płeć: Mężczyzna
Lokalizacja: POLAND
Podziękował: 24 razy

formy zdaniowe

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
Ostatnio zmieniony 15 wrz 2007, o 16:12 przez pentel, łącznie zmieniany 1 raz.
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Xfly
Użytkownik
Użytkownik
Posty: 174
Rejestracja: 13 mar 2006, o 20:44
Płeć: Mężczyzna
Lokalizacja: Nowogard
Podziękował: 33 razy
Pomógł: 10 razy

formy zdaniowe

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
Użytkownik
Użytkownik
Posty: 113
Rejestracja: 19 lis 2006, o 14:12
Płeć: Mężczyzna
Lokalizacja: POLAND
Podziękował: 24 razy

formy zdaniowe

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

regułke to ja znam

chodzi mi o przykłady zdan

Xfly
Użytkownik
Użytkownik
Posty: 174
Rejestracja: 13 mar 2006, o 20:44
Płeć: Mężczyzna
Lokalizacja: Nowogard
Podziękował: 33 razy
Pomógł: 10 razy

formy zdaniowe

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

ODPOWIEDZ