Category:Propositional logic

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
lógica proposicional (es); 命題邏輯 (yue); Ítéletlogika (hu); Logika proposizional (eu); 命題邏輯 (zh-hk); Lóxica proposicional (ast); исчисление высказываний (ru); Aussagenlogik (de-ch); Aussagenlogik (de); 命题逻辑 (zh-hans); Логіка выказванняў (be); قضیوي حساب (منطق) (ps); 命题逻辑 (zh); logică propozițională (ro); Önermeler mantığı (tr); 命題論理 (ja); propositional calculus (en); Логикалык сүйлөө (ky); výroková logika (sk); propositielogica (nl); תחשיב הפסוקים (he); logica propositionalis (la); 命題邏輯 (zh-hant); प्रतिज्ञप्तिक कलन (hi); Iskazni račun (sr-el); 명제 논리 (ko); Ütjsaagenloogik (frr); Propositional calculus (en-ca); výroková logika (cs); satslogik (sv); logica proposizionale (it); исказна логика (mk); calcul des propositions (fr); lògica proposicional (ca); Lauseloogika (et); rachunek zdań (pl); Kalkulus proposisional (id); حساب گزاره‌ای (fa); числення висловлень (uk); Propositiologiikka (fi); зьлічэньне выказваньняў (be-tarask); Mệnh đề toán học (vi); Teiginių logika (lt); Rhesymeg osodiadol (cy); Proposisionele logika (af); Исказни рачун (sr); Propozicijska logika (sl); lógica proposicional (pt); lógica proposicional (pt-br); 命题逻辑 (zh-sg); แคลคูลัสเชิงประพจน์ (th); utsegnslogikk (nn); setningslogikk (nb); 命題邏輯 (zh-tw); 命题逻辑 (zh-cn); Propositional calculus (en-gb); Исказни рачун (sr-ec); Пропозиционна логика (bg); Lóxica proposicional (gl); حساب القضايا (ar); Προτασιακός λογισμός (el); Ասույթների տրամաբանություն (hy) sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad (es); théorie de logique mathématique (fr); раздел символической логики изучающий сложные высказывания, составленные из простых (ru); 邏輯系統 (zh); Teilgebiet der Logik (de); Propositiosymboleista ja loogisista konnektiiveista koostuva symbolinen logiikka (fi); 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); branca de la lògica que es dedica a l'estudi de les proposicions (ca); formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (cs); branca della logica (it) &&, cálculo proposicional, calculo proposicional, logica proposicional, lógica de proposiciones, conjuncion logica, logica de proposiciones, lógica de enunciados, lógica de orden cero (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, Urteilslogik, wahre Aussage, falsche Aussage (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); sentential calculus, sentential logic, statement logic, zeroth-order logic (en); منطق اقتراحي, منطق القضايا, حسبان القضايا (ar); исказно сметање (mk); исчисления высказываний, классическое исчисление высказываний, пропозициональная логика, теория L, логика нулевого порядка (ru)
propositional calculus 
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
Upload media
Subclass of
  • logical system
Part of
Different from
  • zeroth-order logic
Said to be the same aspropositional logic
Authority control
ReasonatorScholiaPetScanstatisticsWikiMapLocator toolKML fileSearch depicted
Edit infobox data on Wikidata

Subcategories

This category has the following 8 subcategories, out of 8 total.

D

E

L

T

Media in category "Propositional logic"

The following 39 files are in this category, out of 39 total.