Wskaż które z podanych interpretacji są prawdziwe dla danej formuły. (p → ~q)∧(q ∨ r)

p r

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 systemami eksperckimi?

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

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

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

Jest to formuła nie posiadająca zmienne

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

Calculus

Która z wymienionych poniżej podpowiedzi przedstawia implikacje

p→q

Co nazywamy modelami formuły

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