Zanim nauczysz się zapisywać zdania języka naturalnego w postaci formuł KRP, to spróbuj najpierw zapisywać je w języku "KaRPiowym", który jest mieszanką języka naturalnego z KRP.
W KaRPiowym małymi literkami a, b, c zastępujemy nazwy własne (wyrażenia, które nazywają pojedyncze przedmioty), natomiast dużymi literami P, Q, R zastępujemy cechy i relacje (wyrażenia, które opisują bądź kategoryzują przedmioty i które możemy o tych przedmiotach orzec). Z nazw własnych oraz nazw cech i relacji możemy budować zdania (Czarek jest poetą). Zauważ, że robimy to w taki sposób, że nazwę cechy bądź relacji "uzupełniamy" przez dokładnie tyle nazw własnych, ile argumentów posiada nazwana relacja (cecha), ponieważ w przeciwnym wypadku powstanie niegramatyczna całość: *Czarek kocha Anię Bartkowi (o jeden argument za dużo), *Ania rozmawia z Bartkiem o (o jeden argument za mało). W KaRPiowym jest dokładnie tak samo. A więc pierwsza zasada tłumaczenia na KaRPiowy brzmi:
małymi literkami a, b, c zastępuj nazwy własne (nazwy pojedynczych przedmiotów);
dużymi literkami P, Q, R zastępuj nazwy cech i relacji (wyrażenia, które możemy orzec o przedmiotach);
pilnuj, by po dużej literce w nawiasach występowało dokładnie tyle nazw, ile argumentów ma relacja nazwana przez literkę;
kolejność literek MA ZNACZENIE, ponieważ oddaje role, jakie pełnią argumenty w relacji.
WYNIKIEM ma być ZDANIE (formuła bez wolnych zmiennych).
Przykłady tłumaczeń
zdania złożone buduj za pomocą spójników tych samych i dokładnie tak jak w KRZ
Jeśli chcemy ze zdań prostych zbudować zdania złożone, to robimy to za pomocą spójników - dokładnie tych samych i dokładnie w taki sam sposób, jak to było w KRZ:
Bartek jest poetą, a Ania kocha Czarka
P(b)∧Q(a, c)
Jeśli Bartek rozmawia z Anią o Czarku, to Bartek jest poetą
R(b, a, c)→P(b)
Jeśli Ania nie kocha Czarka, to Czarek rozmawia z Bartkiem o Ani
¬Q(a, c)→R(c, b, a)
jeśli nazwa własna się powtarza, jest domyślna bądź zamiast niej występuje anaforyczny zaimek, to konsekwentnie użyj tej samej małej literki
zamień ktoś (coś) na Jest taki x:
zamień wszyscy (wszystkie) na Dla każdego x:
Jeśli w zdaniu zamiast nazwy własnej występuje zaimek nieokreślony ktoś albo coś, to zamień ten zaimek na zwrot Jest taki x, ustaw ten zwrot z przodu i dalej przetłumacz na KaRPiowy, używając zamiast nazwy x.
Jeśli w zdaniu zamiast nazwy występuje zaimek uogólniający wszyscy (wszystkie), każdy, to zamień taki zaimek na zwrot Dla każdego x, ustaw ten zwrot z przodu i dalej przetłumacz na KaRPiowy, używając zamiast nazwy x.
Jeśli w zdaniu jest kilka zaimków, to zamień je na odpowiednie zwroty i ustaw je z przodu w kolejności, w której występują, i dalej tłumacz na KaRPiowy, używając odpowiednich zmiennych, popatrz na przykłady obok.
zamień ktoś (coś), niektórzy NIE na Jest taki x: NIE
zamień wszyscy (wszystkie), każdy NIE na Dla każdego x: NIE
zamień nikt (nic), żaden NIE na Nie jest prawdą, że jest taki x:
zamień NIE wszyscy (NIE wszystkie), NIE każdy na Nie jest prawdą, że dla każdego x:
Nie wszyscy - nie jest prawdą, że wszyscy;
Nikt - nie jest prawdą, że jest taki ktoś;
Ktoś nie - jest taki ktoś, kto nie;
Wszyscy nie - dla każdego jest tak, że nie.
Potrenuj sobie negowanie zdań w KaRPiowym