#TITLE_ALTERNATIVE#

• Main Author: YOSIA (NIM : 10106069); Dosen Pembimbing Tugas Akhir : Dr. Oki Neswan, ADRIANUS
• Format: Final Project
• Language: Indonesia
• Online Access: https://digilib.itb.ac.id/gdl/view/14676
• Institution: Institut Teknologi Bandung

Logic is the art (or study) of reasoning. Formal language (symbolic logic) is being used as a media for studying this subject. As a consequence, studying logic is analogues with studying Formal Language. Syntax is a rule to make meaningful expressions. The term of expression means a finite series of symbols. Semantic refers to the truth meaning of expressions which is true in syntax. As the result, syntax from logic of proposition refer to a rule to make meaningful expressions on logic of proposition. And so do the meaning of semantic from logic of proposition refer to the truth meaning of expression which is true in syntax on logic of proposition. The first order logic is more sharper than the logic of proposition. The sharpening process using a new symbol that added on logic of proposition. The consequence is clear that the difference between those two were influenced with the new <br /> <br /> <br /> symbol. So do the semantic were influenced by the same difference.