Category:Propositional logic

<nowiki>lógica proposicional; 命題邏輯; ítéletlogika; 命題邏輯; 命题逻辑; Logika proposizional; logică propozițională; Lóxica proposicional; исчисление высказываний; Aussagenlogik; Aussagenlogik; propositional calculus; Логіка выказванняў; Исказни рачун; Пропозиционна логика; Логикалык сүйлөө; Önermeler mantığı; 命題論理; propositielogica; Iskazni račun; výroková logika; satslogik; תחשיב הפסוקים; logica propositionalis; 命題邏輯; 命题逻辑; ասույթների տրամաբանություն; 명제 논리; Ütjsaagenloogik; propozicia kalkulo; výroková logika; исказна логика; logica proposizionale; rachunek zdań; calcul des propositions; Kalkulus proposisional; Каланăлăхсен шутлавĕ; lògica proposicional; зьлічэньне выказваньняў; propositiologiikka; числення висловлень; Teiginių logika; lógica proposicional; Mệnh đề toán học; Rhesymeg osodiadol; Lauseloogika; Proposisionele logika; Исказни рачун; propozicijski račun; حساب گزاره‌ای; lógica proposicional; 命题逻辑; แคลคูลัสเชิงประพจน์; utsegnslogikk; setningslogikk; 命題邏輯; Propositional calculus; 命题逻辑; قضیوي حساب (منطق); Propositional calculus; lóxica proposicional; حساب القضايا; Προτασιακός λογισμός; प्रतिज्ञप्तिक कलन; 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; 数理論理学の基礎的な一部門; théorie de logique mathématique; 邏輯系統; branca della logica; 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; càlcul proposicional; Junktorenlogik; Urteilslogik; wahre Aussage; falsche Aussage; logica proposicional; cálculo Proposicional; lógica sentencial; lógica de ordem zero; logica delle proposizioni; logica enunciativa; calcolo proposizionale; حساب گزاره ای; منطق گزاره ای; منطق گزاره‌ها; حساب گزار‌ه‌ای; حساب گزارهٔ ها; حساب گزاره‌ها; حساب گزارهٔ ای; حساب گزاره ها; حساب گزار ه ای; منطق گزاره‌ای; 逻辑命题; 命题演算; 句子逻辑; 命题逻辑推理; formule výrokové logiky; výrokový kalkul; 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; منطق اقتراحي; منطق القضايا; حسبان القضايا; исказно сметање; исчисления высказываний; классическое исчисление высказываний; пропозициональная логика; теория L; логика нулевого порядка</nowiki>