胃不好能吃什么水果
Значення ?стинност? (лог?чне значення) — в лог?ц? та математиц?, значення, що показу? в?дношення висловлювання до ?стини. Тобто м?ру ?стинност? висловлювання.
В класичн?й лог?ц? лог?чними значеннями ? т?льки ?стина (true) та хиба (false). Багатозначн? лог?ки мають б?льше н?ж два лог?чних значення, найчаст?ше вони представляються рац?ональними чи д?йсними числами з ?нтервалу [0, 1].
У класичн?й лог?ц?, з ?? в?дпов?дною семантикою, ?стина (1 або T), хибн?сть (0 або ⊥), тобто класична лог?ка ? двозначною лог?кою. Цей наб?р з двох значень також назива?ться булевою областю. Семантика, являючи собою лог?чн? зв'язки, ? ?стиною функц?й, значення яких виражаються у вигляд? таблиц? ?стинност?. В?дношення кон'юнкц?? та диз'юнкц?? до заперечення виража?ться в законах де Моргана:
- ?(p∧q) ? ?p?∨??q
- ?(p∨q) ? ?p?∧??q
Пропоз?ц?ональн? зм?нн? стають зм?нними в булев?й област?. Присво?ння значень для пропозиц?ональних зм?нних назива?ться оц?нкою.
Багатозначна лог?ка (наприклад, неч?тка лог?ка та актуальна лог?ка) дозволя? б?льше двох значень ?стинност?, як?, можливо, м?стять деяк? внутр?шн? структури. Наприклад, на одиничному ?нтервал? [0,1] така структура ? сп?льною посл?довн?стю, це може бути виражено як ?снування р?зних ступен?в ?стини.
- Лог?чна ? фактична ?стинн?сть // Ф?лософський енциклопедичний словник / В. ?. Шинкарук (гол. редкол.) та ?н ; ?нститут ф?лософ?? ?мен? Григор?я Сковороди НАН Укра?ни. — Ки?в : Абрис, 2002. — 742 с. — 1000 екз. — ББК 87я2. — ISBN 966-531-128-X.