spójniki

Hania_87 · 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ę.

szczepanik89 · 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 · 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 · 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.

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