1. Dla podanego poniżej przykładu zaznacz poprawną odpowiedź

¬(p OR q) => ¬p

wnioskowanie jest poprawne dla każdej wartości zmiennych logicznych p i q

1. Ile będzie zawierała wartości tablica logiczna dla n zmiennych, gdzie n=8

256

1. Jak nazywamy w logice przedstawione poniżej zapytanie?
   ~cytryna

Nagacją

1. Jeden z algorytmów, bardzo skuteczny i powszechnie stosowany w informatyce i sztucznej inteligencji nazywany jest metodą rezolucji i działa na koniunkcjach klauzul. Z poniższych podpowiedzi wskaż tą, która definiuje pojęcie klauzuli.

klauzula to alternatywa zmiennych zdaniowych lub ich negacji

1. Co nazywamy „tautologią”?

jest to formuła, która zawsze przyjmuje wartość prawdy

1. Za poniższych odpowiedzi wskaż tą, która charakteryzuje pojęcie „rachunek zdań”

Bada prawdziwość zdań złożonych na podstawie zdań składowych i w konsekwencji określa poprawność wnioskowania

1. Z poniżej wymienionych zdań wybierz to, które charakteryzuje modelowanie w informatyce.

identyfikacja cech obiektu

1. Na czym polega metoda rezolucji? Wskaż poprawną odpowiedź

metoda ta polega na przechodniości implikacji, czyli jeżeli (p => q) oraz (q => r) to mamy prawo twierdzić, że (p =>r)