| Afrikaans |
| lexicalization | afr: Proposisionele logika |
| Arabic |
| has gloss | ara: في الرياضيات والمنطق، حساب القضايا (propositional calculus) هو نظام يتم فيه تمثيل القضايا بربط قضايا ذرية بواسطة روابط منطقية، إضافة إلى نظام للاستدلال والبرهان تتم بواسطته برهنة نظريات منطقية. |
| lexicalization | ara: حساب القضايا |
| Standard Arabic |
| lexicalization | arb: حساب القضايا |
| Belarusian |
| has gloss | bel: Злічэ́нне выка́званняў ці выка́званняў злічэ́нне – асабісты выпадак злічэння, класы сімвалаў алфавіта якога могуць быць падзелены на класы: прапазіцыянальных сімвалаў, сімвалаў лагічных звязак і клас, які мае сімвалы адчыняючай і зачыняючай круглых дужак. Формулы ці тэксты фармальнай мовы (злічэння) логікі выказванняў падзяляюцца на простыя і складаныя. Кожны прапазіцыянальны сімвал разглядаецца як простая формула. Індуктыўна, з дапамогай сімвалаў класаў лагічных звязак, круглых дужак і ўжо пабудаваных формул можна будаваць новыя складаныя формулы. |
| lexicalization | bel: Злічэнне выказванняў |
| Catalan |
| has gloss | cat: La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentencies lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat. |
| lexicalization | cat: Lògica proposicional |
| lexicalization | cat: lògica proposicional |
| Czech |
| has gloss | ces: V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky). |
| lexicalization | ces: Výroková logika |
| lexicalization | ces: výroková logika |
| Mandarin Chinese |
| lexicalization | cmn: mìng tí luó ji |
| lexicalization | cmn: 命題邏輯 |
| lexicalization | cmn: 命题逻辑 |
| Welsh |
| has gloss | cym: Mewn rhesymeg a mathemateg, mae rhesymeg osodiadol (neu galcwlws gosodiadol) yn system ffurfiol lle gellir ffurfio fformwlâu syn cynrychioli gosodiadau trwy gyfuno gosodiadau atomaidd gan ddefnyddio cysylltion rhesymegol, a system o reolau prawf ffurfiol syn galluogi dangos fod fformwlâu neilltuol yn "theoremau" o fewn y system. |
| lexicalization | cym: rhesymeg osodiadol |
| German |
| has gloss | deu: Die Aussagenlogik ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. |
| lexicalization | deu: Aussagenlogik |
| Estonian |
| has gloss | est: Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega. |
| lexicalization | est: Lauseloogika |
| Persian |
| has gloss | fas: حساب گزاره‌ها یا حساب گزاره‌ای (Propositional calculus) سامانه‌ای است صوری (formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها و ترکیب آن با ادوات منطقی شکل می‌گیرد. گزاره‌های مورد توجه منطق گزاره‌ها فقط گزاره‌های خبری ست. در منطق کلاسیک یا منطق دو ارزشی، گزاره‌ها دارای ارزش درست یا غلط هستند. |
| lexicalization | fas: حساب گزاره‌ای |
| lexicalization | fas: منطق گزاره‌ای |
| Finnish |
| has gloss | fin: Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia. Näistä ominaisuuksista keskeisimpiä ovat totuus ja lauseiden väliset päättelysuhteet. |
| lexicalization | fin: Propositiologiikka |
| lexicalization | fin: propositiologiikka |
| French |
| has gloss | fra: Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. Cest la version moderne de la logique stoïcienne. Cest aussi la première étape dans la construction des outils de la logique mathématique. |
| lexicalization | fra: calcul des propositions |
| Hebrew |
| has gloss | heb: בלוגיקה מתמטית, תחשיב פסוקים או לוגיקה פסוקית הוא מערכת לטיפול בפסוקים באופן שתלוי במבנה בלבד, ולא בהקשר. תחשיב הפסוקים הוא אבן הפינה של הלוגיקה המתמטית. |
| lexicalization | heb: תחשיב פסוקים |
| Hungarian |
| has gloss | hun: Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik. Fő problémája az ezek között értelmezhető műveletek, a logikai műveletek, illetve a különféle levezetések tanulmányozása. |
| lexicalization | hun: ítéletlogika |
| Indonesian |
| has gloss | ind: Kalkulus proposisional adalah sistem formal untuk menyatakan rumus proposisi dan membuktikannya dengan cara menggabungkan rumus atomik dan operator logika. |
| lexicalization | ind: Kalkulus proposisional |
| Icelandic |
| has gloss | isl: Liður í stærðfræði er tala, breyta eða margfeldi talna og breyta, eins og þau koma fyrir í jöfnum, aðskilin með táknunum "+", "-" eða "=". (Í grunnskóla er kennt að „plús og mínus skipta liðum“.) Liðun er heiti aðferðarinnar sem notuð er til að finna liðina. Dæmi: |
| lexicalization | isl: Liður |
| Italian |
| has gloss | ita: La logica proposizionale è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi. Data una interpretazione (o modello) di una proposizione (in generale di un insieme di proposizioni), e cioè una associazione tra le proposizioni elementari e le realtà rappresentate, possiamo generare un insieme infinito di proposizioni con significato definito che riguardino quella realtà. Ciascuna proposizione si riferisce quindi ad uno o più oggetti della realtà rappresentata (anche astratta, ovviamente) e permette di descrivere o ragionare su quell'oggetto, utilizzando i due soli valori "Vero" e "Falso". |
| lexicalization | ita: logica proposizionale |
| Japanese |
| has gloss | jpn: 命題論理（めいだいろんり、propositional logic）とは命題とよばれる数学的対象が扱われる数理論理学の一分野である。 |
| lexicalization | jpn: 命題論理 |
| Korean |
| has gloss | kor: 명제 논리(命題論理)는 기호논리학의 가장 기초적인 영역이다. 사고를 개념으로까지 분해하는 고전논리학에 대해 사고의 최소 구성단위를 명제(원자적 명제)로 하여 명제의 내용·구조에는 개입하지 않고 각 명제끼리의 결합관계만을 연구한다. 명제의 결합을 4-6종의 기호로 통일적으로 나타내고, 각 명제를 진위(眞理植라 한다)의 관점으로부터만 생각하여 복합적 명제의 진위를 원(元)명제의 진위로부터 수학적 계산법에 의해 결정하려고 한다(論理計算). |
| lexicalization | kor: 명제 논리 |
| lexicalization | kor: 명제논리 |
| lexicalization | kor: 명제 계산 |
| Latin |
| has gloss | lat: Logica propositionis pronuntiata coniungit. Propositiones symbolis, qui, si propositio scitur, litterae magnae sunt, et si non, litterae parvae sunt, appellantur. Administrationes in hac logica sunt quinque: condicionalis (\to), bicondicionalis (\leftrightarrow), coniunctio (\land), disiunctio seu diazeugmenon (\lor), negatio (\neg). |
| lexicalization | lat: Logica Propositionis |
| Lithuanian |
| has gloss | lit: Teiginių logika yra matematinės logikos mokslo teorija, nagrinėjanti loginius teiginių ryšius. Tai viena paprastesnių iš visų logikos teorijų. Ji nenagrinėja teiginių vidinės struktūros, kaip kad predikatų logika ar silogistika. Teiginių logikos dėsningumai galioja ir daugumoje kitų logikos teorijų. |
| lexicalization | lit: teiginių logika |
| Macedonian |
| lexicalization | mkd: исказна логика |
| Dutch |
| has gloss | nld: De propositielogica is een tak van logica die zich bezighoudt met geldige redeneringen in de vorm van proposities. Proposities zijn uitspraken of beweringen die ofwel waar, ofwel onwaar zijn. Voorbeelden hiervan zijn :Wikipedia is een encyclopedie en :Wicky heeft een noormannenhelm op. In de propositielogica kunnen uitspraken alleen waar of onwaar zijn, dit in tegenstelling tot meerwaardige logica's waarbij uitspraken ook andere waarden kunnen hebben, zoals bij de uitspraak :Wicky vindt Wikipedia een interessante encyclopedie. In vergelijking met andere types van logica is de propositielogica eenvoudig van opbouw (structuur, grammatica) maar beperkt in uitdrukkingsmogelijkheid. |
| lexicalization | nld: propositielogica |
| Norwegian Bokmål |
| lexicalization | nob: setningslogikk |
| Norwegian |
| has gloss | nor: Setningslogikk (også utsagnslogikk eller junktorlogikk) er en grunnleggende gren av den moderne logikken. Den ligger i skjæringspunktet mellom filosofi og matematikk idet den benytter seg av algebraiske metoder for å belyse sannheten av utsagn eller setninger. Setningslogikk har også fått stor betydning for digitalteknikken, som benytter mange av de samme sannhetsfunksjonene. |
| lexicalization | nor: setningslogikk |
| Iranian Persian |
| lexicalization | pes: حساب گزاره‌ای |
| Polish |
| has gloss | pol: Rachunek zdań to dział logiki matematycznej badający związki między zdaniami (zmiennymi zdaniowymi) lub funkcjami zdaniowymi utworzonymi za pomocą spójników zdaniowych ze zdań lub funkcji zdaniowych prostszych. Rachunek zdań określa sposoby stosowania spójników zdaniowych w poprawnym wnioskowaniu. |
| lexicalization | pol: Rachunek zdań |
| Portuguese |
| has gloss | por: Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como "teoremas" do sistema formal. |
| lexicalization | por: Logica proposicional |
| lexicalization | por: Lógica Proposicional |
| Russian |
| has gloss | rus: Логика высказываний (или пропозициональная логика) — это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка. Логика высказываний является простейшей логикой, максимально близкой к человеческой логике неформальных рассуждений и известна ещё со времён античности. |
| lexicalization | rus: Логика высказываний |
| Slovak |
| has gloss | slk: Logika výroková je časť matematickej logiky (výroková algebra), ktorá sa zaoberá tvorbou výrokov, ich vzájomným spájaním, zisťovaním logickej pravdivosti výrokov a ich spojení i niektorými spôsobmi odvodzovania. |
| lexicalization | slk: Výroková logika |
| Castilian |
| has gloss | spa: En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad. Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza. |
| lexicalization | spa: Logica proposicional |
| lexicalization | spa: Lógica proposicional |
| lexicalization | spa: cálculo proposicional |
| Serbian |
| lexicalization | srp: исказни рачун |
| Swedish |
| has gloss | swe: Satslogik avser allmänt studiet av de resonemang som kan föras med språkliga satser som satts samman av mindre satser med språkelement som icke, och, eller, om... så..., om och endast om etcetera; dessa är så kallade konnektiv. |
| lexicalization | swe: satslogik |
| Thai |
| has gloss | tha: แคลคูลัสเชิงประพจน์ คือระบบรูปนัยสำหรับการใช้เหตุผลแบบนิรนัย ที่มีหน่วยพื้นฐานคือตัวแปรเชิงประพจน์ (ซึ่งจะแตกต่างจากตรรกศาสตร์ภาคแสดงที่อาจมีการใช้ ตัวบ่งปริมาณ และมีหน่วยพื้นฐานคือฟังก์ชันเชิงประพจน์ และตรรกศาสตร์อัญรูปที่หน่วยพื้นฐานอาจไม่ใช่ประโยคระบุความจริง) |
| lexicalization | tha: แคลคูลัสเชิงประพจน์ |
| Ukrainian |
| has gloss | ukr: Числення висловлень (логіка висловлень) — це формальна система в математичній логіці, в якій формули, що відповідають висловленням можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система формальних правил виводу, які дозволяють визначати певні формули в якості «теорем» формальної системи. |
| lexicalization | ukr: числення висловлень |
| Chinese |
| has gloss | zho: 在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。 |
| lexicalization | zho: 命题逻辑 |
