Logical sentence
ڕستەی لۆجیکی
Proposed Kurdish term — under reviewزاراوەی پێشنیارکراو — لە ژێر پێداچوونەوەدایە Definitionپێناسە
Any well-formed formula of a logic: a proposition symbol, or symbols joined by connectives, such as (P ∨ Q) ∧ R → S.
هەر ڕستەیەکی دروستی لۆجیکە: ، یان چەند هێمایەک کە بە بەستەرەکان بەیەکەوە بەستراون، وەک (P ∨ Q) ∧ R → S.
Exampleنموونە
In the logic library, And(P, Or(Q, R)) builds the sentence P ∧ (Q ∨ R).
لە کتێبخانەی لۆجیکدا And(P, Or(Q, R)) P ∧ (Q ∨ R) دروست دەکات.
Other Kurdish renderings in useوەرگێڕانە کوردییەکانی تر
ڕستە لۆجیکییەکە، ڕستە لۆجیکییەکان، ڕستەیەکی لۆجیکی، ڕستەی لۆجیکیی، ڕستە لۆجیکییەکانی، ڕستەیەکی لۆجیکیی
Note on the Kurdish termتێبینی دەربارەی زاراوە کوردییەکە
ڕستە, as in the registry's statement. DBA.json's calculus-formula covers formulas of relational calculus. Proposed.