Fiszki do Logika formalna i predykatowa
Logika Formalna i Logika Predykatów: Kompleksowy Przewodnik dla Studentów
Dotknij, aby odwrócić · Przesuń, aby nawigować
Logika formalna
44 fiszek
Fiszka 1
Pytanie: Jak przetłumaczyć zdanie "Dla każdych dwóch różnych liczb parzystych istnieje między nimi liczba nieparzysta" na język logiki predykatów zgodnie z not
Odpowiedź: ∀x ∀y ((even(x) ∧ even(y) ∧ x < y) → ∃z (odd(z) ∧ x < z ∧ z < y))
Fiszka 2
Pytanie: Które kwantyfikatory są wskazane w notatkach dla formuły opisującej własność "dla każdych dwóch liczb"?
Odpowiedź: Używa się dwóch kwantyfikatorów ogólnych (uniwersalnych): ∀x ∀y.
Fiszka 3
Pytanie: Jaki spójnik logiczny jest według notatek często łączony z kwantyfikatorami ∀ w formułach?
Odpowiedź: Kwantyfikatory ∀ są zazwyczaj łączone ze spójnikiem → (implikacja).
Fiszka 4
Pytanie: Jaki spójnik logiczny jest według notatek zazwyczaj łączony z kwantyfikatorami ∃?
Odpowiedź: Kwantyfikatory ∃ są zazwyczaj łączone ze spójnikiem ∧ (koniunkcja).
Fiszka 5
Pytanie: Co notatki radzą wywnioskować, gdy zadanie podaje tylko zbiór katalogów (dir), a w treści zadania pracuje się z plikami?
Odpowiedź: Wywnioskować, że plik można wyrazić jako negację katalogu, na przykład ¬dir(x).
Fiszka 6
Pytanie: Jak brzmi pierwsze twierdzenie Gödla o niezupełności według notatek?
Odpowiedź: Żadna efektywna i niesprzeczna teoria zawierająca arytmetykę Peana nie może być zupełna.
Fiszka 7
Pytanie: Jakie jest brzmienie drugiego twierdzenia Gödla o niezupełności według notatek?
Odpowiedź: W żadnym niesprzecznym i efektywnym systemie logicznym zawierającym arytmetykę Peana nie jest możliwe udowodnienie jego własnej niesprzeczności.
Fiszka 8
Pytanie: Jak w notatkach zdefiniowana jest interpretacja języka logiki predykatów pierwszego rzędu?
Odpowiedź: Interpretacja to para (D, α), gdzie D jest dziedziną (domeną), a α przypisuje zmiennym wartości z D, każdemu symbolowi predykatowemu n-arną relację na
Fiszka 9
Pytanie: Jak notatki definiują term logiki predykatów pierwszego rzędu?
Odpowiedź: Zmienna jest termem, a jeśli t jest n-arnym symbolem funkcyjnym i t1,...,tn są termami, to t(t1,...,tn) jest termem; nic innego nie jest termem.
Fiszka 10
Pytanie: Czym jest dowód formuły φ w logice zdań (system Hilberta) według notatek?
Odpowiedź: Sekwencja formuł kończąca się na φ, gdzie każda formuła jest albo aksjomatem, albo jest wyprowadzona z poprzednich za pomocą reguły wnioskowania.