→ Moja Lekcja → Rozpocznij Naukę / Ściągnij Fiszki MP3

Pytanie		Odpowiedź
Składnia oznacza reguły tworzenia wyrażeń języka z rozpocznij naukę		Elementarnych symboli (alfabetu)
Rachunek predykatów pierwszego rzędu wyróżnia cztery zbiory symboli podstawowych rozpocznij naukę		A V P F
W rachunku predykatów oprócz symboli podstawowych wyrózniamy Kwantyfikator oraz rozpocznij naukę		Uniwersalny oraz egzystencjalny
Termem nazywamy rozpocznij naukę		Stałą zmienną lub symbol funkcyjnych zlistą termów w nawiasach
Atom literał klauzula to rozpocznij naukę		Szczególne formuły rachunku predykatów
Zmienną nazywamy zmienną wolną gdy rozpocznij naukę		Wtedy i tylko wtedy gdy x nie leży w zasięgu zmiennej kwantyfikowanej x
Zmienną nazywany zmienną związaną gdy rozpocznij naukę		Nie jest wolna
Formułę nazywamy Formu zamkniętą gdy nie zawiera zmiennych rozpocznij naukę		Wolnych
Domknięcie uniwersalny lub egzystencjalny pozwala usunąć z formuły zmienne rozpocznij naukę		Wolne
Atom rozpocznij naukę		Jest to symbol predykatywny zlistą termów w nawiasach
literał rozpocznij naukę		to atom lub negacja atomu
klauzula rozpocznij naukę		jest to alternatywa literalow

Moja lekcja