Арабски Български Китайски Хърватски Чешки Датски Холандски Английски Естонски Фински Френски Немски Гръцки Иврит Хинди Унгарски Исландски Индонезийски Италиански Японски Корейски Латвийски Литовски Мадагаскарски Норвежки Персийски Лак Португалски Румънски Руски Сръбски Словашки Словенски Испански Шведски Тайландски Турски
Арабски Български Китайски Хърватски Чешки Датски Холандски Английски Естонски Фински Френски Немски Гръцки Иврит Хинди Унгарски Исландски Индонезийски Италиански Японски Корейски Латвийски Литовски Мадагаскарски Норвежки Персийски Лак Португалски Румънски Руски Сръбски Словашки Словенски Испански Шведски Тайландски Турски
определение - намека
- Уикипедия, свободната енциклопедия
Изводът - бинарен логично пакета, в молбата си до приблизителни съюзи ", ако ... тогава ...".
Изводът се записва като posylkasledstvie; се прилага и за другите форми на стрелката и насочена в обратна посока (винаги сочи към оглави разследването) .Suzhdenie. изразено чрез конклудентни действия, също така е изразена по следните начини:
- Изпращането предпоставка. достатъчно, за да извърши разследването;
- Разследването е необходимо условие за истинността на помещението.
Булева логика
В Булева логика косвено - това е функция на две променливи (те - операнд, те са едни и същи - аргументи на функцията). Променливите могат да се стойности в комплекта. Резултатите са също принадлежи. Изчисляване на резултата, произведени от едно просто правило, или от масата за истина. Вместо стойностите може да се използва от всеки друг чифт подходящ характер, например, или, или "невярно", "вярно".
правило:
Изводът е фалшива като булева функция само когато помещенията са верни, но резултатът е невярно.
истина маса:
директно отражение (от А до В) (материал отражение, условно материал)
съответства на функцията F на (10,1,1101) 2 (х, у) = F (2,1,13) 10 (х, у);
ако<=b , то истино (1),
обратна отражение (от б до)
съответства на функцията F на (10,1,1011) 2 (х, у) = F (2,1,11) 10 (х, у),
ако> = б, тогава вярно (1)
обратна отражение - отрицание (отрицание, инверсия) увеличаване на откриване (преход от 0 до 1, увеличение)
отрицание (инверсия, отрицание) обратна отражение
освобождаване от отговорност на кредита в двоичен половин subtracter,
многозначната логика
В този раздел на статията не е написано.
Според плана на един от участниците на Уикипедия, това място трябва да бъде поставен специален раздел.
Вие можете да помогнете с написването на тази секция.
теория на множествата
отчети Изводът означават, че един от тях трябва да бъде от drugogo.Implikatsiya обозначена с ⇒, и то съответства на комплекти от Нека A ⊂B, а след това
Например, ако A - множеството от всички площади и Б - набор от правоъгълници, а след това, разбира се, A ⊂ B и
(Когато е квадратна, че е правоъгълник).
Класическа логика
Може да се окаже равностойност косвено A → B формула (един поглед по-очевидна неговата равностойност формула, която се приема за стойност "невярно", ако извършва A (изпращане), но не отговарят на B (следствие)).
Този раздел не е приключило.
Можете да помогнете на Уикипедия, като я разширява.
интуиционистки логика
В интуиционистки логика косвено по никакъв начин не е равнозначно на отричане. По-скоро обратното, ¬A на отрицание може да се представи във вида A → ⊭, където ⊭ - Пропозиционални константа "фалшиво". Въпреки това, такова представителство е възможно отрицание на класическата логика.
В интуиционистки тип теория отражение съответства на набор (тип) съответствията от А до Б.
Логиката на силогизми
В учението за силогизми косвено отговаря на "универсален положително атрибутивна изказване."
програмиране
езиците за програмиране, използвани по подразбиране, като правило, neyavno.Naprimer, тип конструкция:
ще се реализира успешно, ако и само ако косвено A → B.Pri, че ако Намерен е, че са фалшиви, тестове Б няма да се състои най-малко.
Свързани статии