P는 고전 논리에서 Q를 의미합니까? 예 : Distributivity:
Ka(X->Y) -> (KaX -> KaY)
이 고전 논리의 규칙을 사용하여 모달 논리입니다. KaX : a는 X가 참임을 안다. 영어로 암시를 읽는 방법에 대해 궁금한가요? 그렇다면 다른가요? 편집 : 모달 논리에, 카는 상자되고, 잘 당신이 세계 델타 후 모두에서 액세스 가
FYI, 내가 사용하는 논리 프로그램은 모순을 소개 할 수 없습니다. 이 점은 무의미한 것 같습니다. 왜냐하면 나는이 증거를 위해 모순의 어떤 형태라도 사용해야 할 것입니다. 이 문제를 해결하기 위해 나는 (p ⇒ q) ⇒ 이라고 가정하고 시작 했습니까? 그렇다면 다음은 무엇입니까? 해결책이 아주 분명해 보인다면 저를 용서하십시오. 이 솔루션의 단계의 많은
현재 논리 논리적 등가성 질문에 답변하고 있으며 법률 목록에 없기 때문에 내가 한 번 사용한 규칙의 확인을 원합니다. 아마도 "알고 있어야하는 것이기 때문에" ". 내 작업의 일부는 (NOT(p) OR NOT(q)) OR r == (NOT(p) OR r) OR (NOT(q) OR r) 다음 나는 두 논리적으로 동일합니다,하지만 난에 사용하는 법은 무엇이라고
필자는 지식 기반에 다음과 같은 진술을 가지고 있지만, 1 개의 변수 만 가진 전제가 있습니다 (3 번째 줄 참조). 나는 이것을위한 진리표를 만들려고 시도하고있다. 그러나 제 3 전제는 함축 된 조건을 결정할 단 하나의 조건이 있기 때문에 나를 혼란스럽게 만든다. 내 지식에 따라 예를 들어 p^q^r => s;
q^r => t;
t => u; <---
의미 그래프는 각 노드가 참 또는 거짓으로 지정된 방향 그래프이며 u -> v 모서리는 if u is true then v is true을 의미합니다. 이 나는 일반적인 의미 그래프의 할당 및 (A 2 SAT 문제에서 발생하는 의미 그래프와 같은) 특별한 경우에 대한 O(n) 알고리즘을 찾기 위해 간단한 O(n^2) 알고리즘을 알고있다. O(n) 알고리