Category:Propositional logic

Матеріал з Wikimedia Commons
Перейти до навігації Перейти до пошуку
Числення висловлень 
branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components
Wikipedia-logo-v2.svg  Вікіпедія
Є підкласом класу logical system
Частина від логіка
Нормативний контроль
Вікідані
Blue pencil.svg
lógica proposicional (es); Ítéletlogika (hu); Logika proposizional (eu); Lóxica proposicional (ast); логика высказываний (ru); Aussagenlogik (de); Propositional calculus (en-gb); Ասույթների տրամաբանություն (hy); 命题逻辑 (zh); Önermeler mantığı (tr); 命題論理 (ja); 命題邏輯 (zh-hk); 命题逻辑 (zh-hans); výroková logika (sk); Исказни рачун (sr-ec); תחשיב הפסוקים (he); Logica propositionalis (la); 命題邏輯 (zh-hant); 命题逻辑 (zh-cn); propositional logic (en); 명제 논리 (ko); Ütjsaagenloogik (frr); Propositional calculus (en-ca); výroková logika (cs); Логикалык сүйлөө (ky); logica proposizionale (it); propositielogica (nl); calcul des propositions (fr); Iskazni račun (sr-el); Lauseloogika (et); satslogik (sv); حساب گزاره‌ای (fa); Числення висловлень (uk); Rachunek zdań (pl); Kalkulus proposisional (id); lógica proposicional (pt); Mệnh đề toán học (vi); Rhesymeg osodiadol (cy); Propositiologiikka (fi); Proposisionele logika (af); Исказни рачун (sr); Propozicijska logika (sl); Teiginių logika (lt); lógica proposicional (pt-br); 命题逻辑 (zh-sg); แคลคูลัสเชิงประพจน์ (th); utsegnslogikk (nn); setningslogikk (nb); 命題邏輯 (zh-tw); Зьлічэньне выказваньняў (be-tarask); lògica proposicional (ca); исказна логика (mk); Логіка выказванняў (be); Lóxica proposicional (gl); حساب القضايا (ar); Προτασιακός λογισμός (el); प्रतिज्ञप्तिक कलन (hi) Teilgebiet der Logik, dessen Elemente atomare Aussagen sind und das sich mit Struktur und Wahrheitsbedingungen zusammengesetzter Aussagen befasst (de); branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components (en); théorie de logique mathématique (fr); branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components (en); formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (cs) &&, cálculo proposicional, calculo proposicional, logica proposicional, lógica de proposiciones, conjuncion logica, logica de proposiciones (es); expression booléenne, logique des propositions, antilogie, calcul propositionnel, logique propositionnelle (fr); Lausearvutus (et); Esakune-kalkulu, Esakune-logika, Proposizio-kalkulu, Enuntziatu-logika, Proposizio logika, Kalkulu proposizional (eu); Càlcul proposicional (ca); Junktorenlogik, Wahre Aussage, Falsche Aussage, Urteilslogik (de); Logica proposicional, Cálculo Proposicional, Lógica sentencial, Lógica de ordem zero (pt); حساب گزاره ای, منطق گزاره ای, منطق گزاره‌ها, حساب گزار‌ه‌ای, حساب گزارهٔ ها, حساب گزاره‌ها, حساب گزارهٔ ای, حساب گزاره ها, حساب گزار ه ای, منطق گزاره‌ای (fa); 逻辑命题, 命题演算, 句子逻辑 (zh); logica delle proposizioni, logica enunciativa, calcolo proposizionale (it); formule výrokové logiky, výrokový kalkul (cs); 命題論理学, 命題計算 (ja); KRZ (pl); לוגיקה פרופוזיציונית (he); ตรรกศาสตร์เชิงประพจน์ (th); utsagnslogikk, setningslogikk, junktorlogikk (nn); utsagnslogikk, junktorlogikk (nb); Logica Propositionis (la); 명제 논리학, 명제논리학, 명제논리 (ko); Выказваньняў зьлічэньне (be-tarask); Числення висловлювань, Алгебра висловлювань, Логіка висловлень (uk); Lauselogiikka, Propositiokalkyyli, Propositionaalilogiikka, Lausekalkyyli (fi); propositional calculus, sentential calculus, sentential logic, statement logic, zeroth-order logic (en); منطق اقتراحي, منطق القضايا, حسبان القضايا (ar); исказно сметање (mk); Теория L, исчисления высказываний, исчисление высказываний, классическое исчисление высказываний, пропозициональная логика (ru)

Підкатегорії

Показано 9 підкатегорій із 9.

B

D

E

L

T

Файли в категорії «Propositional logic»

Показано 31 файл цієї категорії (із 31).