→ Moja Lekcja → Start Lernen / Flashcards Herunterladen MP3

Lernen beginnen

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

Moja lekcja