Rozumienie wyrażenia ,,ma własnosć"

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Przemyslaw Grabowski
Użytkownik
Użytkownik
Posty: 29
Rejestracja: 5 kwie 2014, o 17:25
Płeć: Mężczyzna
Lokalizacja: Goworowo
Podziękował: 10 razy

Rozumienie wyrażenia ,,ma własnosć"

Post autor: Przemyslaw Grabowski »

Witam!

Czy jeśli mam takie zdanie:
,, ,,obiekt" ma własność \(\displaystyle{ \phi}\)'
to dopuszczalne jest rozumienie go jako:
\(\displaystyle{ W(\phi (,,obiekt"))=1}\) ?

Legenda:
1)\(\displaystyle{ \phi (x)}\) jest pewną formułą logiczną opartą na \(\displaystyle{ \phi}\).
Mam tutaj na myśli coś takiego: gdy mam, np. ,,2 ma własność (bycia liczbą pierwszą)" to przez \(\displaystyle{ \phi (x)}\) będę rozumiał taką formułę logiczną: ,,x jest liczbą pierwszą"
2)\(\displaystyle{ W(p)}\) oznacza wartość logiczną zdania \(\displaystyle{ p}\)
mostostalek
Użytkownik
Użytkownik
Posty: 1382
Rejestracja: 26 lis 2006, o 21:34
Płeć: Mężczyzna
Lokalizacja: Poznań
Podziękował: 33 razy
Pomógł: 268 razy

Rozumienie wyrażenia ,,ma własnosć"

Post autor: mostostalek »

tak o ile wartość logiczną 1 przyjmują zdania prawdziwe to juz zalezy od definicji W
Przemyslaw Grabowski
Użytkownik
Użytkownik
Posty: 29
Rejestracja: 5 kwie 2014, o 17:25
Płeć: Mężczyzna
Lokalizacja: Goworowo
Podziękował: 10 razy

Rozumienie wyrażenia ,,ma własnosć"

Post autor: Przemyslaw Grabowski »

Tak też myślałem, że zapomniałem o dziedzinie formuły i stwierdzeniu, że "obiekt" do niej należy.
Trywialne...
ODPOWIEDZ