با عرض سلام خدمت دوستان عزیز مانشتی
ممنون می شوم پاسخ دهید که آیا می شود P را از KB زیر نتیجه گرفت یا خیر
منظورم از ! همان عملگر نقیض هست
E /\ R ---> B
E ---> R \/ P \/ L
k ---> B
(L /\ B) !
P ---> ! K
با سپاس
CNF کنش
داری:
p! فقط نمیتونی استنتاج کنی p رو