→ Moja Lekcja → Start Learning / Flashcards Téléchargement MP3

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

Moja lekcja