Explain the propositional logic as a formal language

The Eduladder is a community of students, teachers, and programmers just interested to make you pass any exams. So we solve previous year question papers for you.
See Our team
Wondering how we keep quality?
Got unsolved questions?

PROGRAMMING-LANGUAGES-10CS666-->View question

## Explain the propositional logic as a formal language.

explain with examples .
in terms of logic in computer science

By:milan-ransingh

Taged users:

Likes:
Be first to like this question

Dislikes:
Be first to dislike this question

Propositional logic, also known as sentential logic and statement logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more complicated propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement.

tarun101

Likes:
Be first to like this answer

Dislikes:
Be first to dislike this answer