a) Dla jakiej liczby wystąpień p, wyrażenie postaci (. . .((p ⇒ p) ⇒ p). . .) ⇒ Toek : a) Dla jakiej liczby wystąpień p, wyrażenie postaci (. . .((p ⇒ p) ⇒ p). . .) ⇒ p jest tautologią? b) Ile razy musi wystąpić każda zmienna, aby formuła zbudowana ze zmiennych zdaniowych wyłącznie za pomocą spójnika ⇔ była tautologią? Czy może ktoś potwierdzić albo zaprzeczyć że w podpunkcie a) odpowiedzią jest nieskończoność ? Natomiast w podpunkcie b) mógłby ktoś wyjaśnić o co chodzi ?

ite: a/ dla parzystej liczby wystąpień p (czyli nieparzystej ilości implikacji) podana formuła jest tautologią; przy nieparzystej liczbie wystąpień p (czyli parzystej ilości implikacji) otrzymujemy jest funkcję spełnianą

ite: b/ dla jednej zmiennej: tylko parzysta liczba wystąpień daje tautologię, teraz trzeba by spróbować to uogólnić (?) na większą ilość zmiennych

Winndy: To jeszcze dopytam, czy takie coś jest zdaniem: metalowy młotek Według mnie nie jest bo nie można przypisać wartości prawda albo fałsz

ite: Nie wiem, czemu ten młotek akurat trafił do wątku o tautologiach, ale nawet tu pasuje. W logice jest całkiem prosto: możemy spotkać zdania, nazwy i funktory. Jeśli coś nie jest zdaniem, to jest nazwą lub funktorem. "metalowy młotek" jest nazwą.

ite: Zakładam, że uczysz się rozróżniania kategorii syntaktycznych : )