Резултати от търсенето
Направо към навигацията
Направо към търсенето
Съответствия в заглавията на страници
- ...о <math>X \land \lnot X</math> е винаги грешно и се нарича [[противоречие (логика)|противоречие]] или несъгласуваност и се обозначава като <math>\bot</math> [[Категория:Математическа логика]] ...1009 байта (20 думи) - 17:41, 12 май 2020
Съответствия в текста на страници
- ...onendo ponens'') е [[правило за извод]] в [[класическа логика|класическата логика]], което гласи: ''Ако е вярно [[съждение]]то '''P → Q''' и е вярно съждение Валидността на модус поненс в класическата (двузначна) логика лесно се демонстрира с таблица на верностните стойности: ...1 КБ (66 думи) - 20:54, 30 май 2023
- ...о <math>X \land \lnot X</math> е винаги грешно и се нарича [[противоречие (логика)|противоречие]] или несъгласуваност и се обозначава като <math>\bot</math> [[Категория:Математическа логика]] ...1009 байта (20 думи) - 17:41, 12 май 2020
- ...all x</math> или <math>\exist x</math>. В [[предикатна логика|предикатната логика]] с помощта на квантори могат да се конструират съждения, характеризиращи о ...chive.org/web/20070507173342/http://logic.philos.msu.ru/texts/markin.pdf ''Логика предикатов'']. ...3 КБ (137 думи) - 13:23, 20 юни 2019
- Характеристична функция на множество в [[бинарна логика|класическата бинарна логика]] е [[функция]], която приема стойност 1 в точките, които принадлежат на да ...2 КБ (71 думи) - 23:38, 15 януари 2020
- ...л. "Дизюнкция" в: Логика.|автор=|фамилно_име=Латинов|първо_име=Евгени|труд=Логика}}</ref> За да се различават дизюнкцията в смисъла на специфичен вид сложно ...ка]]. <math>\lor</math> е логическа константа в езика на пропозиционалната логика. ...6 КБ (184 думи) - 02:25, 18 май 2023
- В [[Логика#Логически оператори|съждителната логика]] и [[Булева алгебра|булевата алгебра]], '''законите на Де Морган''' са пра В съждителната логика правилата се записват така ...4 КБ (104 думи) - 07:23, 26 май 2023
- ...наредбите|теорията на наредбите]], [[Математическа логика|математическата логика]] и [[Компютърни науки|информатиката]]. ...5 КБ (268 думи) - 10:03, 21 септември 2024
- ...е=Срв. гл. "Конюнкция" в Логика.|фамилно_име=Латинов|първо_име=Евгени|труд=Логика}}</ref> За да се различават конюнкцията в смисъла на специфичен вид сложно ...а]]. <math>\land</math> е логическа константа в езика на пропозиционалната логика. ...11 КБ (382 думи) - 02:28, 18 май 2023
- ...(1815 – 1864) през [[19 век]], с цел да се използват алгебрични методи в [[логика]]та. Булевата алгебра и булевите операции стоят в основата на [[информатика Тази алгебра намира приложение в [[логика]]та, където 0 се интерпретира като „невярно“, а 1 като „вярно“. Изрази в та ...6 КБ (201 думи) - 15:27, 4 април 2024
- | област = [[математика]], [[логика]], [[философия]] ...Wallis}}) e [[Англия|английски]] [[математика|математик]], [[математическа логика|логик]] и [[философия|философ]]. ...6 КБ (90 думи) - 21:02, 20 декември 2023
- [[Категория:Логика]] ...3 КБ (29 думи) - 17:05, 17 януари 2024
- ...руктурна индукция'' и се използва в [[математическа логика|математическата логика]] и в [[информатика]]та. [[Категория:Математическа логика|индукция]] ...6 КБ (90 думи) - 10:40, 1 май 2021
- [[Категория:Философска логика]] ...4 КБ (60 думи) - 16:30, 31 януари 2024
- ...се използват предимно за броене — напр.[[комбинаторика]], [[математическа логика]], [[теория на множествата]] и [[информатика]] — <math>\mathbb{N}</math> по ...6 КБ (151 думи) - 08:10, 20 април 2024
- ...[[Емпирия|емпиричен път]], както в природните науки. При тях се използва [[логика]], но обикновено тя не е формализирана и включва изрази от [[Език (лингвист Основни елементи на всяко доказателство е част от математическата логика при доказване на вече съществуващи и класически математически теореми, тъй ...21 КБ (316 думи) - 11:47, 6 октомври 2023
- С формализма на [[Математическа логика|математическата логика]] това се записва по следния начин: ...17 КБ (1083 думи) - 21:12, 22 януари 2025
- ==== Формална логика ==== {{основна|Формална логика}} ...44 КБ (903 думи) - 14:20, 12 септември 2024
- ...[[сол]]и. В този случай на катода се получава винаги [[водород]]. По тази логика не би трябвало да е възможно и отделянето на [[цинк]], [[желязо]] и др. от ...10 КБ (71 думи) - 14:16, 19 юли 2023
- ...л“ или „субюнкция“) или по-точно '''материална импликация''' се нарича в [[логика]]та както едно сложно изречение, възникнало от свързването на две изречения ...раз на субюнктора е знакът <math>\rightarrow</math>. В по-старите книги по логика се използва и Пеано-Ръселовият символ <math>\supset</math>.<ref>Знакът <mat ...92 КБ (3362 думи) - 00:30, 29 август 2024
- ...ндикулярен на преобразуваната допирателна равнина '''M t''', чрез следната логика: ...13 КБ (422 думи) - 04:51, 2 октомври 2024