This HTML5 document contains 15 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n6	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Propositional_logic

rdfs:label

Propositional logic Логіка висловлювань

rdfs:comment

Логічні висловлювання (чи́слення висло́влень, логіка висловлень, пропозиційна логіка, англ. propositional calculus) — поняття висловлювання, як і поняття множини, не означають, а дають йому описову характеристику з використанням багатьох прикладів. Зокрема, до висловлювань відносять розповідні речення, які можна охарактеризувати як істинні або хибні. Таким чином, під висловлюванням розуміють таке речення, яке є істинним або хибним. Відповідь на запитання про істинність чи хибність даного висловлювання дає та галузь науки чи людської діяльності, до якої воно належить. Розглянемо приклади:

dbo:wikiPageID

5597335

dbo:wikiPageRevisionID

748148251

dbo:wikiPageWikiLink

dbr:Propositional_calculus

dbo:wikiPageRedirects

dbr:Propositional_calculus

owl:sameAs

n6:dfcC dbpedia-uk:Логіка_висловлювань wikidata:Q16705128

dbp:wikiPageUsesTemplate

dbt:Wikidata_redirect

dbo:abstract

Логічні висловлювання (чи́слення висло́влень, логіка висловлень, пропозиційна логіка, англ. propositional calculus) — поняття висловлювання, як і поняття множини, не означають, а дають йому описову характеристику з використанням багатьох прикладів. Зокрема, до висловлювань відносять розповідні речення, які можна охарактеризувати як істинні або хибні. Таким чином, під висловлюванням розуміють таке речення, яке є істинним або хибним. Відповідь на запитання про істинність чи хибність даного висловлювання дає та галузь науки чи людської діяльності, до якої воно належить. Розглянемо приклади: 1) Київ — столиця України; 2) квадрат будь-якого дійсного числа невід'ємний; 3) x + 2y < 1; 4) 5=9; 5) відкрийте книгу на десятій сторінці. Серед наведених речень 1–4 є висловлюваннями, причому 1, 2 істинні, а 4 — хибне. Речення 5 не належить до висловлювань. Висловлювання позначають великими латинськими буквами (з індексами або без них): A, B, C1, C2,… Ці букви називають висловлювальними змінними. У математичній логіці висловлювання вивчають тільки з погляду того, істинні вони чи хибні, не цікавлячись їх конкретним змістом. Тому для довільного висловлювання A введемо його значення істинності |A| за таким правилом: Наприклад, якщо позначимо A висловлювання «е — раціональне число», а B — висловлювання «залізо — це метал», то матимемо |A| = 0, |B| = 1. Усі висловлювання можна поділити на прості і складні. Просте висловлювання — це таке висловлювання, яке не утворене з інших висловлювань, а складне висловлювання утворюється з простих висловлювань. Наприклад, висловлювання «2 + 3 = 8» є простим, а висловлювання «Якщо 36 ділиться на 2 і 36 ділиться на 3, то 36 ділиться на 6» є складним. У математичній логіці прості висловлювання розглядаються як цілі, неподільні, їх внутрішню структуру не аналізують. Навпаки, визначення істинності чи хибності складних висловлювань є одним із завдань логіки. Складні висловлювання одержують з більш простих за допомогою логічних операцій. При утворенні висловлювань найчастіше використовується частка не та сполучні слова і, або, якщо …, то, … тоді і тільки тоді, коли …. у математичній логіці їм відповідають певні логічні операції. Логіка висловлювань (ЛВ) — розділ символічної логіки, що вивчає необхідні відношення між висловлюваннями, на підставі чого визначають значення істинності висловлювань; дедуктивна теорія, яка моделює процес виведення одних висловлювань з інших за принципом логічного слідування. Це історично перша формально-логічна система, побудована засобами. У межах логіки висловлювань можуть бути побудовані (формально-логічні теорії без дедуктивної частини, тобто без аксіом і правил виведення) та логічні числення (формально-логічні теорії, на синтаксичному рівні котрих задаються системи їхніх аксіом і строго визначена сукупність правил виведення). Більшість класичних формально-логічних теорій логіки висловлювань побудовано у формі логічних числень. Перше числення висловлювань отримало назву «класичне числення висловлювань» (КЧВ) — формалізація висловлювань засобами особливої мови та здійснення логічних операцій над ними з метою перетворення простих висловлювань на складні та їх перетворення на нові складні висловлювання.

prov:wasDerivedFrom

wikipedia-en:Propositional_logic?oldid=748148251&ns=0

dbo:wikiPageLength

59

foaf:isPrimaryTopicOf

wikipedia-en:Propositional_logic