An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

فرهنگ ریشه شناختی اخترشناسی-اخترفیزیک

M. Heydari-Malayeri    -    Paris Observatory

   Homepage   
   


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Number of Results: 1 Search : propositional logic
propositional logic
  گوییک ِ گزاره‌ای، ~ گزاره‌ها   
guyik-e gozâre-yi, ~ gozaarehâ

Fr.: logique propositionnelle   

A branch of logic that deals with the → truth values of logical statements (→ sentences, → propositions) and uses → logical connectives to build more complex → expressions. The distinctive feature of propositional logic is that it does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. The propositions are evaluated as → true or → false. A more expressive system is provided by the → first-order logic.

proposition; → -al; → logic.