Jump to content

Category:Propositional logic

From Wikimedia Commons, the free media repository
<nowiki>lógica proposicional; Propositional calculus; قضیوي حساب (منطق); Пропозиционна логика; logică propozițională; 命題邏輯; výroková logika; числення висловлень; 命題邏輯; Propozicionala logiko; 명제 논리; propozicia kalkulo; исказна логика; calcul des propositions; Каланăлăхсен шутлавĕ; Mệnh đề toán học; Proposisionele logika; Исказни рачун; lógica proposicional; 命题逻辑; utsegnslogikk; setningslogikk; propositional calculus; حساب القضايا; 命題邏輯; ítéletlogika; Logika proposizional; Lóxica proposicional; исчисление высказываний; Aussagenlogik; Aussagenlogik; Логіка выказванняў; Исказни рачун; 命题逻辑; 命題論理; תחשיב הפסוקים; logica propositionalis; प्रतिज्ञप्तिक कलन; propositiologiikka; Ütjsaagenloogik; Propositional calculus; logica proposizionale; зьлічэньне выказваньняў; 命題邏輯; Iskazni račun; Логикалык сүйлөө; 命题逻辑; lógica proposicional; Teiginių logika; propozicijski račun; satslogik; lògica proposicional; Rhesymeg osodiadol; แคลคูลัสเชิงประพจน์; rachunek zdań; Lauseloogika; propositielogica; حساب گزاره‌ای; Önermeler mantığı; výroková logika; ասույթների տրամաբանություն; lóxica proposicional; 命题逻辑; Προτασιακός λογισμός; Kalkulus proposisional; branca della logica; 数理論理学の基礎的な一部門; théorie de logique mathématique; 邏輯系統; podstawy dział logiki matematycznej, inaczej logika zerowego rzędu; 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; tak van logica binnen de wiskunde; branca de la lògica que es dedica a l'estudi de les proposicions; раздел символической логики изучающий сложные высказывания, составленные из простых; Teilgebiet der Logik; sistema formal que permite demonstrações através da equivalência lógica das proposições categóricas; 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; propositiosymboleista ja loogisista konnektiiveista koostuva symbolinen logiikka; formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné; a formális logika egyik ága; &&; 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; expression booléenne; logique des propositions; antilogie; calcul propositionnel; logique propositionnelle; Lausearvutus; Esakune-kalkulu; Esakune-logika; Proposizio-kalkulu; Enuntziatu-logika; Proposizio logika; Kalkulu proposizional; logica delle proposizioni; logica enunciativa; calcolo proposizionale; исчисления высказываний; классическое исчисление высказываний; пропозициональная логика; теория L; логика нулевого порядка; formule výrokové logiky; výrokový kalkul; Junktorenlogik; Urteilslogik; wahre Aussage; falsche Aussage; logica proposicional; cálculo Proposicional; lógica sentencial; lógica de ordem zero; منطق اقتراحي; منطق القضايا; حسبان القضايا; حساب گزاره ای; منطق گزاره ای; منطق گزاره‌ها; حساب گزار‌ه‌ای; حساب گزارهٔ ها; حساب گزاره‌ها; حساب گزارهٔ ای; حساب گزاره ها; حساب گزار ه ای; منطق گزاره‌ای; 逻辑命题; 命题演算; 句子逻辑; 命题逻辑推理; ítéletkalkulus; kijelentéslogika; propozicijska logika; logika ničelnega reda; 命題論理学; 命題計算; 명제 논리학; 명제논리학; KRZ; ตรรกศาสตร์เชิงประพจน์; utsagnslogikk; setningslogikk; junktorlogikk; utsagnslogikk; junktorlogikk; Logica Propositionis; числення висловлювань; алгебра висловлювань; выказваньняў зьлічэньне; вылічэньне выказваньняў; לוגיקה פרופוזיציונית; תחשיב פסוקים; לוגיקת הפסוקים; lauselogiikka; propositiokalkyyli; propositionaalilogiikka; lausekalkyyli; sentential calculus; sentential logic; statement logic; zeroth-order logic; propositional logic; Asertologiko; исказно сметање; càlcul proposicional</nowiki>
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
Said to be the same aspropositional logic
Authority file
Wikidata Q200694
GND ID: 4136098-9
NL CR AUT ID: ph127455
J9U ID: 987007541095305171
Edit infobox data on Wikidata

Subcategories

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

Media in category "Propositional logic"

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