Kwantyfikatory i implikacja – zadanie, które rozwala studentów (rozwiązanie krok po kroku)

Picture of Krystian Karczyński

Krystian Karczyński

Kwantyfikatory i implikacja – dlaczego to zadanie jest takie trudne?

Jest jeden moment na studiach, kiedy wszystko nagle przestaje być intuicyjne.

👉 pojawiają się kwantyfikatory
👉 pojawia się implikacja
👉 i nagle nawet proste zadanie zaczyna wyglądać jak czarna magia

To dokładnie taki przypadek.


Treść zadania

Rozpatrujemy zbiór:A={nN: kN (n+k=10nk>0)}A=\{n\in\mathbb{N}:\ \forall k\in\mathbb{N}\ (n+k=10 \Rightarrow n-k>0)\}

I pytanie brzmi:
👉 dla jakich n to jest prawdziwe?


Krok 1: kiedy implikacja jest fałszywa?

To jest absolutna podstawa, bez której nie ruszysz dalej.

Implikacja:PQP \Rightarrow Q

jest fałszywa tylko wtedy, gdy:

  • P=1P = 1 (czyli prawda)
  • Q=0Q = 0 (czyli fałsz)

Czyli w naszym zadaniu szukamy sytuacji:101 \Rightarrow 0


Krok 2: co oznacza „dla każdego k”?

Tu większość osób się wykłada.

Mamy:kN\forall k\in\mathbb{N}

czyli:
👉 warunek musi działać dla KAŻDEGO kk

Wystarczy jeden przypadek, gdzie jest fałsz…

👉 i całe wyrażenie leci.

I dokładnie to widać w przykładach:

  • dla k=9k=9: mamy 101 \Rightarrow 0 → FAŁSZ
  • dla k=8k=8: mamy 101 \Rightarrow 0 → FAŁSZ

Czyli:
👉 formuła nie jest prawdziwa dla wszystkich kk


Krok 3: kiedy pojawia się problem?

Problem pojawia się tylko wtedy, gdy:n+k=10n+k=10

Bo wtedy mamy „1” po lewej stronie implikacji.

Z tego dostajemy:k=10nk=10-n


Krok 4: sprawdzamy warunek

Podstawiamy do:nk>0n-k>0n(10n)>0n-(10-n)>02n>102n>10n>5n>5

I to jest kluczowy moment całego zadania.


Krok 5: interpretacja wyniku

  • dla n=1,2,3,4,5n = 1,2,3,4,5 → warunek nie działa
  • dla n>5n > 5 → wszystko gra

Czyli:

👉 implikacja jest fałszywa dla małych nn
👉 i prawdziwa dla n>5n > 5


Odpowiedź

A={nN: n>5}A = \{n\in\mathbb{N}:\ n>5\}

Czyli:
👉 A={6,7,8,9,}A = \{6,7,8,9,\dots\}


Co tu było najważniejsze?

Nie rachunki.
Nie przekształcenia.

👉 tylko dwie rzeczy:

  1. kiedy implikacja jest fałszywa
  2. co oznacza „dla każdego”

Bez tego zadanie wygląda jak losowe manipulowanie symbolami.

Z tym — robi się banalne.


Na koniec

Jeśli masz problem z takimi zadaniami, to zwykle nie chodzi o matematykę…

👉 tylko o brak zrozumienia podstawowych zasad logiki.

A to da się ogarnąć — tylko trzeba to wytłumaczyć po ludzku.

Zostaw Komentarz

Twój adres e-mail nie zostanie opublikowany. Wymagane pola są oznaczone *

Twój komentarz będzie dostępny publicznie na naszej stronie razem z powyższym podpisem. Komentarz możesz zmienić, lub usunąć w każdej chwili. Administratorem danych osobowych podanych w tym formularzu jest eTrapez Usługi Edukacyjne E-Learning Krystian Karczyński. Zasady przetwarzania danych oraz Twoje uprawnienia z tym związane opisane są w Polityce Prywatności.


Kategorie na Blogu