Resolution kuralı Unit Resolution A v B, ~A B. Resolution A v B, ~B v C A v C.
{"Image DocumentName": "Resolution kural\u0131Unit Resolution A v B, ~A B. Resolution A v B, ~B v C A v C.", "Image ImageDescription": "literaller olsun. O zaman. Literallerin iki disjunctions\u2019\u0131 \u00fczerinde i\u015flem yapar. \u0130ki z\u0131t literal \u00e7ifti birbirlerini ge\u00e7ersiz hale koyar, iki disjunct\u2019tan t\u00fcm di\u011fer literaller \u00e7\u0131kar\u0131lan c\u00fcmle olarak yeni bir disjunct olu\u015fturmak i\u00e7in birle\u015ftirilir. \u00c7\u00f6z\u00fcmleme kural\u0131 di\u011fer t\u00fcm \u00e7\u0131karsama kurallar\u0131n\u0131n yerine ge\u00e7ebilir. Modus Ponens A, ~A v B B. Modus Tollens ~B, ~A v B ~A. Chaining ~A v B, ~B v C ~A v C.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}