→ Moja Lekcja → Start Learning / Download MP3 Flashcards

start learning

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

Moja lekcja