Formal Logic

Formal logic is an important concept in computing which is used to give a precise definition of reasoning

Essential definitions to understand formal logic

15 Questions
Connectives and Truth Values

In English, simple statements are combined with connecting words like and to make more interesting compound statements.

20 Questions
Implication Statement Breakdown

Identify the antecedent and consequent in an implication statement

4 Questions
Negation of a statement

Expressing the negation of a statement must be done with care

4 Questions

Always true formula

11 Questions