spójniki

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Hania_87
Użytkownik
Użytkownik
Posty: 860
Rejestracja: 18 cze 2007, o 20:57
Płeć: Kobieta
Lokalizacja: Rybnik
Podziękował: 86 razy
Pomógł: 57 razy

spójniki

Post autor: Hania_87 » 5 paź 2007, o 23:13

Które spójniki w logice są najsilniejsze
Jak jest hierarchia
Z góry dziękuję.

Awatar użytkownika
szczepanik89
Użytkownik
Użytkownik
Posty: 245
Rejestracja: 15 lip 2007, o 02:41
Płeć: Mężczyzna
Lokalizacja: Skierniewice
Podziękował: 13 razy
Pomógł: 6 razy

spójniki

Post autor: szczepanik89 » 5 paź 2007, o 23:29

1 raz slysze o hierarchi w logice nie wiem co masz na mysli ale chetnie sie dowiem

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

spójniki

Post autor: Xfly » 6 paź 2007, o 10:55

Najczęściej przyjmuje się taką hierarchię:

1. negacja
2. koniunkcja i alternatywa
3. implikacja i równoważność

Są natomiast różne głosy co do tego gdzie umieścić alternatywę wykluczającą czy w 2 czy w 3.

Hania_87
Użytkownik
Użytkownik
Posty: 860
Rejestracja: 18 cze 2007, o 20:57
Płeć: Kobieta
Lokalizacja: Rybnik
Podziękował: 86 razy
Pomógł: 57 razy

spójniki

Post autor: Hania_87 » 6 paź 2007, o 13:22

Robiłam zadanka (dotyczące tautologii) i trafiłam na przykład, podaje część
\(\displaystyle{ q p q}\)
Próbowałam zrobić to na dwa sposoby i wyszło mi raz, że jest tautologią, a raz, że nie jest tautologią, I stąd moje pytanie.

Jan Kraszewski
Administrator
Administrator
Posty: 27285
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4593 razy

spójniki

Post autor: Jan Kraszewski » 6 paź 2007, o 19:03

Hania_87 pisze:Robiłam zadanka (dotyczące tautologii) i trafiłam na przykład, podaje część
\(\displaystyle{ q p q}\)
Próbowałam zrobić to na dwa sposoby i wyszło mi raz, że jest tautologią, a raz, że nie jest tautologią, I stąd moje pytanie.
Hierarchia jest taka, jak napisał Xfly. Zatem \(\displaystyle{ q p q}\) oznacza \(\displaystyle{ q (p q)}\).
JK

ODPOWIEDZ