Formal Logic

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

Definitions

Essential definitions to understand formal logic

Questions  (15)
Connectives and Truth Values

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

Questions  (20)
Implication Statement Breakdown

Identify the antecedent and consequent in an implication statement

Questions  (4)
Negation of a statement

Expressing the negation of a statement must be done with care

Questions  (4)
Tautologies

Always true formula

Questions  (11)