propositional logic

/ˌprɒpəˈzɪʃənl ˈlɒdʒɪk/

Traduction: Branche de la logique qui étudie les propositions (affirmations pouvant être vraies ou fausses) et leurs relations logiques au moyen de connecteurs tels que « et », « ou », « non » et « si... alors ».

1 entrée

phrase

/ˌprɒpəˈzɪʃənl ˈlɒdʒɪk/C1formalscientific

Раздел логики, изучающий пропозиции (утверждения, которые могут быть истинными или ложными) и их логические связи с помощью союзов, таких как «и», «или», «не» и «если... то».
Rama de la lógica que estudia las proposiciones (afirmaciones que pueden ser verdaderas o falsas) y sus conexiones lógicas mediante conectivas como «y», «o», «no» y «si... entonces».
Branche de la logique qui étudie les propositions (affirmations pouvant être vraies ou fausses) et leurs relations logiques au moyen de connecteurs tels que « et », « ou », « non » et « si... alors ».
Teilgebiet der Logik, das Aussagen (Propositionen), die wahr oder falsch sein können, und ihre logischen Verknüpfungen durch Operatoren wie „und“, „oder“, „nicht“ und „wenn ... dann“ untersucht.
Ramo da lógica que estuda proposições (afirmações que podem ser verdadeiras ou falsas) e as relações lógicas entre elas por meio de conectivos como «e», «ou», «não» e «se... então».
研究命题（可为真或假的陈述）以及通过“与”“或”“非”“如果……则”等联结词构成的逻辑关系的逻辑学分支。
فرع من فروع المنطق يدرس القضايا (التصريحات التي يمكن أن تكون صادقة أو كاذبة) وعلاقاتها المنطقية بواسطة روابط مثل «و»، «أو»، «ليس»، «إذا... فإن».

A branch of logic that deals with propositions (statements that are either true or false) and their logical relationships using connectives such as 'and', 'or', 'not', and 'if...then'.

Branch of logicC1formal
A formal system in logic that deals with propositions and their logical relationships using connectives like AND, OR, NOT, and IF-THEN.
logique propositionnelle
- Propositional logic is used to analyze the truth values of compound statements.
- In propositional logic, the statement 'If it rains, then the ground is wet' is a conditional.
- Students learn propositional logic as a foundation for computer science and mathematics.