Cтраница 4
На следующем шаге мы повторно применяем правило резолюции к этому множеству основных атомов и устанавливаем в итоге справедливость заключений, выводя пустой дизъюнкт. Используя метод резолюций, мы уверены, что любое высказывание, которое может принять истинное значение, получит это значение. Однако, в ПРОЛОГе мы не можем ориентировать вывод на интересующее нас высказывание, а это чрезвычайно важно для эффективного выполнения программ. [46]
А и не - Л одно является истинным ( а другое ложным) и притом класс истинных высказываний содержит в себе также все логич. Такое доказательство оказывается невозможным, в частности по отношению к любым высказываниям математики. [47]
Следует избегать разговора на повышенных тонах, тактично уходить от тем и вопросов, при обсуждении которых вы или ваш собеседник можете вспылить. В разговоре старайтесь избегать назидательности, проявления невнимания к сказанному собеседником, стремления поспешно выставить оценки сказанному им. В то же время плохое впечатление оставляют и те, кто всегда готов немедленно согласиться с любым высказыванием. [48]
В отличие от обычной арифметики, в логике высказываний имеется пара операций, из к-рых каждая дистрибутивна относительно другой - это конъюнкция и дизъюнкция. А & В) V ( А & С) ( дистрибутивность конъюнкции относительно дизъюнкции; А, Б и С - любые высказывания, & и V - знаки конъюнкции и дизъюнкции, а жв. [49]