Дивитися що таке "правило відділення" в інших словниках:
правило виведення - правило, яке визначає перехід від посилок до наслідків. П. в. вказує, яким чином висловлювання, істинність яких відома, можуть бути видозмінені, щоб отримати нові істинні висловлювання. Напр. правило відділення встановлює, що якщо ... Словник термінів логіки
Логіка - (грец. Logike̅) наука про прийнятні способи міркування. Слово «Л.» в його сучасному вживанні багатозначно, хоча і не настільки багато смисловими відтінками, як древнегреч. lógos, від якого воно відбувається. У дусі традиції з поняттям Л ... Велика радянська енциклопедія
інтерпретація - (від лат. interpretatio роз'яснення, тлумачення) в логіці приписування деякого змістовного сенсу, значення символам і формулами формальної системи; в результаті формальна система перетворюється в мову, що описує ту чи іншу предметну ... ... Словник термінів логіки
Модус - (від лат. Modus міра, спосіб, образ, вид) термін, який використовується в логіці, юриспруденції (див. Наприклад, Модус вівенді) і філософії. У традиційній (силогістичної) логіці М. називають різновиди силогізмів (умовиводів), які визначаються ... Велика радянська енциклопедія
МОДУС поненс - (modus ponens), правило відділення, виведення правило в формальних логічний. системах. Правило М. п. Записується у вигляді схеми де Аі В позначення для формул формальної логічний. системи, а логічний. зв'язка імплікації. М. п. Дозволяє виводити Віз посилок ... ... Математична енциклопедія
логіка висловлювань - ЛОГІКА ВИСЛОВЛЮВАНЬ, пропозіціональная логіка розділ символічної логіки, що вивчає складні висловлювання, освічені з простих, і їх взаємини. На відміну від логіки предикатів, прості висловлювання при цьому виступають як ... ... Енциклопедія епістемології і філософії науки
пропозіціональная логіка - ЛОГІКА ВИСЛОВЛЮВАНЬ, пропозіціональная логіка розділ символічної логіки, що вивчає складні висловлювання, освічені з простих, і їх взаємини. На відміну від логіки предикатів, прості висловлювання при цьому виступають як ... ... Енциклопедія епістемології і філософії науки
Пологи - I Пологи (partus) фізіологічний процес вигнання з матки плоду, навколоплідних вод і посліду (плаценти, плодових оболонок, пуповини) після досягнення плодом життєздатності. Життєздатним Плід, як правило, стає після закінчення 28 тижнів. ... ... Медична енциклопедія
- Правила мозку. Що варто знати про мозок вам і вашим дітям. Джон Медіна. Чи знаєте ви, що 26 хвилин сну можуть підвищити вашу продуктивність на 34%? Що мозок уві сні не припиняє свою діяльність і буває навіть активніше, ніж в періоди неспання? Що чоловіки ... Детальніше Купити за 399 руб аудіокнига