Равнообъемность

— отношение между знаковыми выражениями, обо­значающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно выска­зать и о другом, и наоборот, и при этом получать истинные выска­зывания. Обозначаемые объекты могут быть построены различным способом, напр., один объект может быть представлен как «3•5», а другой как «20-5», но между ними может быть поставлен знак Р. Отношение Р позволяет заменять одни и те же объекты, постро­енные различным об..

(равносильность, эквивалентность) - от­ношение между высказываниями или формулами, когда они при­нимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A &. В)) и A принимают одни и те же значения, т. Е. Если одна из них истинна, то и другая истинна, если одна из них ложна, то и другая также ложна. Если два высказывания A и В равнозначны, то формулы А ->. В и B ->. А будут тождественно истинными.. ..

-умозаключение, в котором одна из посылок — разделительное суж­дение, а другая — категорическое. Р.-к. У. Имеет два модуса. 1) модус утверждающе-отрицающий. 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид. S есть Р1 или p2 (первая посылка). S есть Р1 (вторая посылка). S не есть p2 (заключение). Такую форму имеет, напр., следующее умозаключение. «Жидкие кол­лоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая колл..

См. Ди­лемма.. ..