Co nazywamy klauzula w logice?:

Jest to zbiór literałów

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

p→q

Co nazywamy modelami formuły?:

są to wszystkie interpretacje które są prawdziwe dla danej formuły

Co nazywamy systemami eksperckimi?:

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

Która z wymienionych poniżej podpowiedzi przedstawia implikacje:

p→q

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

Calculus

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

Jest to formuła nie posiadająca zmienne

Wskaż, które z podanych interpretacji są prawdziwe dla danej formuły (p→~q)/\(q \/ r):

p r

Co nazywamy termem w logice pierwszego rzędu:

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

Kiedy formuła jest tautologią?

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