propositional calculus (Q200694)
Jump to navigation
Jump to search
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
- sentential calculus
- sentential logic
- statement logic
- zeroth-order logic
- propositional logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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 |
|
Statements
Propositional logic
0 references
Identifiers
1 reference
propositional-logic · GitHub Topics · GitHub (English)
20 July 2021
1 reference
Sitelinks
Wikipedia(50 entries)
- afwiki Proposisionele logika
- arwiki حساب القضايا
- astwiki Lóxica proposicional
- be_x_oldwiki Зьлічэньне выказваньняў
- bewiki Логіка выказванняў
- bgwiki Пропозиционална логика
- cawiki Lògica proposicional
- cswiki Výroková logika
- cvwiki Каланăлăхсен шутлавĕ
- cywiki Rhesymeg osodiadol
- dewiki Aussagenlogik
- elwiki Προτασιακός λογισμός
- enwiki Propositional calculus
- eswiki Lógica proposicional
- etwiki Lauseloogika
- euwiki Logika proposizional
- fawiki حساب گزارهای
- fiwiki Propositiologiikka
- frrwiki Ütjsaagenloogik
- frwiki Calcul des propositions
- glwiki Lóxica proposicional
- hewiki תחשיב הפסוקים
- hiwiki प्रतिज्ञप्तिक कलन
- huwiki Ítéletlogika
- hywiki Ասույթների տրամաբանություն
- idwiki Kalkulus proposisional
- itwiki Logica proposizionale
- jawiki 命題論理
- kowiki 명제 논리
- kywiki Логикалык сүйлөө
- lawiki Logica propositionalis
- ltwiki Teiginių logika
- nlwiki Propositielogica
- nnwiki Utsegnslogikk
- nowiki Setningslogikk
- plwiki Rachunek zdań
- pswiki قضیوي حساب (منطق)
- ptwiki Lógica proposicional
- ruwiki Логика высказываний
- simplewiki Propositional logic
- skwiki Výroková logika
- slwiki Propozicijska logika
- srwiki Исказни рачун
- svwiki Satslogik
- thwiki แคลคูลัสเชิงประพจน์
- trwiki Önermeler mantığı
- ukwiki Числення висловлень
- viwiki Mệnh đề toán học
- zh_yuewiki 命題邏輯
- zhwiki 命题逻辑
Wikibooks(2 entries)
- dewikibooks Mathe für Nicht-Freaks: Logik und Aussagen
- enwikibooks Logic for Computer Scientists/Propositional Logic
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(4 entries)
- eswikiversity Lógica proposicional
- frwikiversity Logique des propositions
- itwikiversity Calcolo proposizionale
- ptwikiversity Lógica: Cálculo Proposicional Clássico