Cтраница 2
Так как тавтология удовлетворяется для каждой интерпретации, S невыполнимо тогда и только тогда, когда и S невыполнимо. [16]
Однако эта тавтология требует более подробного рассмотрения. Со стоимостью продукта сравнивается стоимость элементов производства, потребленных при его образовании. Но мы уже видели, что часть примененного постоянного капитала, состоящая из средств труда, передает продукту лишь часть своей стоимости, между тем как остальная часть сохраняется в прежней форме своего существования. Так как последняя часть не играет никакой роли в образовании стоимости, то мы можем здесь отвлечься от нее. [17]
Однако эта тавтология требует более точного определения. Со стоимостью продукта сравнивается стоимость элементов производства, потребленных при его образовании. [18]
Помимо использования тавтологий и подстановок полезным средством для вывода является эквивалентность. Необходимо уметь правильно осуществлять замену взаимно эквивалентных формул. [19]
Помимо использования тавтологий мы нуждаемся также в замене эквивалентных формул друг на друга. [20]
Помимо использования тавтологий и подстановок полезным средством для вывода является эквивалентность. Необходимо уметь правильно осуществлять замену взаимно эквивалентных формул. [21]
Под исключением тавтологий понимается: любые предложения, содержащие литерал и его отрицание, можно отбросить, так как любое невыполнимое множество, содержащее тавтологию, остается невыполнимым и после исключения последней. [22]
Во избежание подобных тавтологий содержание отдельных объектов и самого понятия, его обобщающего, должно быть замещено некоторым другим содержанием, из которого тем не менее можно вывести содержание объясняемых свойств объектов. [23]
Несмотря на кажущуюся тавтологию, именно этот случай является одним из путей проникновения случайных и неопределенных факторов в исследование операций и как раз отражает неуверенность оперирующей стороны при выборе критерия операции. [24]
В противовес тавтологиям в логике существуют противоречия - формулы, значением которых всегда будет ложь независимо от значений входящих в них атомов. Примером является выражение B / - iB: F при любом значении В. [25]
В противовес тавтологиям в логике существуют противоречия - формулы, значением которых всегда будет ложь независимо от значений входящих в них атомов. Примером является выражение B / - BF при любом значении В. [26]
К каким плоским тавтологиям приводит попытка превратить капиталистические границы рабочего фонда в границы, определяемые природой общества как такового, показывает пример профессора Фаусетта. [27]
К каким плоским тавтологиям приводит попытка превратить капиталистические границы рабочего фонда в границы, определяемые природой общества вообще, показывает пример профессора фосетта. [28]
К каким плоским тавтологиям приводит попытка превратить капиталистические границы рабочего фонда в границы, определяемые природой общества вообще, показывает пример профессора Фосетта. [29]
Формула является тавтологией только потому, что все ее знаки связаны специальным образом, обеспечивающим истинность формулы в каждой интерпретации. Поэтому введенное таким образом интуитивное понятие тавтологии согласуется с нашей интуитивной концепцией пропозициональных функций, истинных в силу одною своего синтаксиса. [30]