Mechaniczne dowodzenie twierdzeń

Mechaniczne dowodzenie ttiierdzen

Warszawska Wyższa Szxola

1 N FORMATY JC I

Wynik: 100%

składowe kursu:

Test

1. Co nazywamy klauzula w logice?

□    Jest to zbiór formuł */| Jest to zbiór literałów

□    Jest to zbiór modeli formuł

2. Co nazywamy modelami formuły

□    są to wszystkie interpretacje które są fałszywe dla danej formuły

* są to wszystkie interpretacje które są prawdziwe dla danej formuły Cl są to wszystkie formuły dla których dana interpretacja jest fałszywa

□    są to wszystkie formuły dla których dana interpretacja jest prawdziwa

3. Co oznacza że formuła w logice pierwszego rzędu jest formulą podstawowa?

L 3 Jest to formuła zawierająca stałe oraz spójniki logiczne i kwantyfikatory y\ Jest to formula nie posiadająca zmienne □ Jest to formula zawierająca zmienne i stale

4. Co nazywamy termem w logice pierwszego rzędu

□    Jest to wyrażenie składające się wyłącznie z symboli predykatów i spójników logicznych

□    Jest to wyrażenie składające się tylko z symboli predykatów

Jest to wyrażenie składające się ze zmiennych, symboli funkcyjnych o dowolnej argumentowości z pośród ustalonego zbioru

5.    Która z poniżej wymienionych podpowiedzi jest podstawowym elementem związanym

0 Calculus

□    Zbiór reguł

□    Język opisu danych

6.    Wskaż które z podanych interpretacji są prawdziwe dla danej formuły.

(P-~q)A(q V r)

□    pq

□    p

0 p r

7.    Dla przedstawionej poniżej interpretacji wskaż te formuły, które są prawdziwe, p = false, q = true

0 P—q

□    p/\q

□    p~q

8.    Która z wymienionych poniżej podpowiedzi przedstawia implikacje

O p-q 0 p—q U p=q

9.    Kiedy formuła jest tautologią?

□    wtedy gdy formuła jest zarówno prawdziwa i fałszywa w danej interpretacji

0    wtedy gdy formuła jest prawdziwa w każdej interpretacji

□    wtedy gdy formula jest fałszywa w każdej interpretacji

10.    Co nazywamy systemami eksperckimi?

* są to systemy komputerowe które emulują proces podejmowania decyzji przez człowieka

są to systemy komputerowe wykorzystywane przez ekspertów z różnych dziedzin nauki w celu ~ utworzenia bazy pojęć z danej dziedziny

1    3 są to systemy komputerowe służące do zarządzania danymi z ważnych badań naukowych

Zakończ test

Uwaga:

1.    Test może być wykonywany wielokrotnie, aż do uzyskania wyniku uprawniającego do wystawienia auto certyfikatu.

2.    Uczestników kursu będący uczniami i nauczycielami szkól ponadgimnazjalnych, którzy chcą aby punkty uzyskane przez nich z tytułu realizacji kursu, zostały zaliczone na konto ich szkoły w rankingu IT Szkoła - informujemy, że na konto szkoły są zaliczane punkty uzyskane bezpośrednio po PIERWSZYM wykonaniu testu oraz naciśnięciu przycisku - zakończ test