Импликационна схема
1импликационна схема
2импликационна схема
3схема за отрицание на импликация
4условна импликационна схема
5диаграма на импликационна функция
6диаграма на импликационна функция
7диаграма на импликационна функция
Вижте и други речници:
ЛОГИКАТА НА ИЗЯВЛЕНИЯТА е раздел от логиката, който изучава връзките на истината между твърденията. В рамките на този раздел твърденията (предложения, изречения) се разглеждат само от гледна точка. тяхната истинност или неистинност, независимо от тяхната вътрешна субективност ... Философска енциклопедия
МОДАЛНА ЛОГИКА е раздел от логиката, който изследва логическите връзки на модалните изрази, т.е. изявления, които включват модалности. мл. се състои от няколко направления, всяко от които се занимава с модални изявления от определен тип. В съвременната М ... Философска енциклопедия
Логически елементи - Логически елементи на устройство, проектирано да обработва информация в цифрова форма (последователности от сигнали с високи нива "1" и ниски нива "0" в двоичната логика, последователността от "0", "1" и "2" в троичната логика, ... ... Wikipedia
Логика — (на гръцки logike̅́) наука за приемливите начини на разсъждение. Думата "L." в съвременната си употреба е двусмислен, макар и не толкова богат на семантични нюанси, колкото древногръцкия. лога, от които идва. В духа на традицията с концепцията за L ... Велика съветска енциклопедия
ХЕМПЕЛ — (Хемпел) Карл Густав (1905 1997) немски логик и философ на науката, представител на неопозитивизма. Член на Обществото за емпирична философия (Берлин), член на Виенския кръг. През 1934 г. емигрира в Белгия, по-късно в САЩ (1937 г.). Основни произведения: „Мотиви и ... ... История на философията: Енциклопедия
ХЕМПЕЛ Карл Густав (1905-1997) - немски логик и философ на науката, представител на неопозитивизма. Член на Обществото за емпирична философия (Берлин), член на Виенския кръг. През 1934 г. емигрира в Белгия, по-късно в САЩ (1937 г.). Основни произведения: Мотиви и обхващащи закони в историческия ... История на философията: Енциклопедия
ПРЕСЪДА - мисъл, изразена с декларативно изречение и която е вярна или невярна. С. е лишен от присъщата на изказването психологическа конотация. Въпреки че С. намира израз само в езика, той, за разлика от изречението, не зависи от ... ... Философска енциклопедия
ОГРАНИЧЕНИЕ НА ТРЕТОТО ПОНЯТИЕ — непряк силогизъм (лат. determinatio tertii, syllogismus obliquus), — заключение, което може да бъде изразено в общ вид чрез схемата (1): (Всички) А е В; следователно C (някои) A е C (някои) B или схема (2): (Всички) A са B ... Философска енциклопедия
Правило за извод - правило за трансформиране на определена формална система, дедуктивно правило, правило за разрешаване, което регулира допустимите начини за преходи от определен набор от твърдения (съждения (Вижте Решение), твърдения (Вижте Изявление) ... ... Велика съветска енциклопедия
ЛОГИКА — (от гръцки. logos дума, понятие, разсъждение, ум), или формална логика, наука за законите и операциите на правилното мислене. Според основния принцип на Л., правилността на разсъждението (заключението) се определя само от неговата логическа форма или ... ... Философска енциклопедия
ИНТУИЦИОНИЗЪМ — (от къснолатински intuitio, от латински intueor гледам внимателно) направление в обосновката на математиката и логиката, според което крайният критерий за приемливостта на методите и резултатите от тези науки е визуално осмислената интуиция. всичкоматематика ... Философска енциклопедия