Результати пошуку
Перейти до навігації
Перейти до пошуку
- Два дуже важливих типи логічних констант це — [[Логічний сполучник|логічні сполучники]] та [[квантор]]и. ...фії логіки]]. Тобто які спеціальні властивості констант визначають їх як ''логічні'' по своїй природі?<ref>Carnap, Rudolf, ''Introduction to Symbolic Logic an ...3 КБ (105 слів) - 16:58, 8 лютого 2025
- {{Логічні операції}} [[Категорія:Логічні операції]] ...5 КБ (192 слова) - 06:28, 2 липня 2024
- {{Логічні сполучники}} Спеціальні назви і символи для позначення логічних сполучників: ...14 КБ (793 слова) - 06:30, 2 липня 2024
- [[Категорія:Логічні символи]] ...3 КБ (123 слова) - 02:17, 24 лютого 2025
- Слід пам'ятати, що поза логікою різні символи мають однаковий зміст, тоді як один і той самий символ має, залежно від кон == Базові логічні символи == ...16 КБ (930 слів) - 10:23, 21 лютого 2025
- === Логічні константи === ...ся. Логічні константи включають кванторні символи ∀ («все») і ∃ («деякі»), символи для [[Логічний сполучник|логічних сполучників]] ∧ («і»), ∨ («або»), ¬ («ні» ...23 КБ (722 слова) - 05:00, 26 травня 2022
- ...і логічні зв'яязки <math>(\neg, \vee)</math> і [[квантор існування]]. Інші символи логічних зв'язок можна визначити формулами: [[Категорія:Логічні числення|Секвенцій]] ...7 КБ (500 слів) - 13:38, 25 грудня 2024
- [[Категорія:Логічні символи]] ...4 КБ (83 слова) - 23:38, 26 червня 2023
- ...а формалізують засобами штучно створеної мови, на підставі чого здійснюють логічні операції над символами, що зображають ці відношення (числення предикатів). ...алфавіт. До нього належать символи, введені в логіці висловлювань, і нові символи, які позначають терміни, введені в логіці предикатів. ...16 КБ (292 слова) - 15:38, 24 серпня 2024
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...4 КБ (224 слова) - 19:37, 18 травня 2022
- [[Категорія:Логічні символи]] ...4 КБ (193 слова) - 17:03, 7 червня 2022
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...5 КБ (144 слова) - 01:48, 31 березня 2024
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...5 КБ (155 слів) - 12:25, 17 травня 2022
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...5 КБ (169 слів) - 10:49, 20 травня 2022
- ...це фрагмент [[Логіка першого порядку|логіки першого порядку,]] в якому всі символи відношень у [[Сигнатура (математична логіка)|сигнатурі]] є одномісними (тоб ...тиставлене з поліадичним численням предиката, яке дозволяє використовувати символи відношення, які беруть два або більше аргументів ...7 КБ (173 слова) - 17:40, 8 лютого 2025
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...5 КБ (145 слів) - 23:17, 30 травня 2022
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...5 КБ (174 слова) - 12:20, 17 травня 2022
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...6 КБ (171 слово) - 12:38, 4 червня 2022
- ...7 і [[ANSI]] 91-1984. Стандарт [[DIN]] 40700 застарів, але описані в ньому символи досі зустрічаються у схемах. Позначення логічних вентилів згідно [[ДСТУ]] Г [[Категорія:Логічні елементи]] ...6 КБ (173 слова) - 12:38, 4 червня 2022
- == Альтернативні символи == {{Логічні операції}} ...15 КБ (593 слова) - 20:00, 1 липня 2024