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

nagacją

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)

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

Co nazywamy „tautologią”?

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

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

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

identyfikacja cech obiektu

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

256

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