Jakiś problem?

Tag: Teoria mnogości

Rachunek predykatów, przykład teorii w rachunku predykatów

Jeśli  jest liczbą pierwszą to  jest liczbą nieparzystą lub  jest równe 2. Opisaliśmy je wtedy formułą w której  odpowiadały odpowiednio zdaniom 1.  jest liczbą pierwszą, 2.  jest liczbą nieparzystą, 3.  jest równe 2. Podstawiając zamiast zdania  jest liczbą pierwszą zmienną zdaniową  ukrywamy jednak część informacji. Zdanie to mówi przecież o pewnej liczbie , co więcej zdania  i  dotyczą tej samej liczby . Zapiszmy więc  zamiast  aby podkreślić fakt że prawdziwość  zależy od tego jaką…