Brain Dump

AI

Logic

Updated at: 02 Apr 2019 00:46:28

##Propositional Logic

About

Branch of logic that studies the ways of joining entire propositions, statements or sentences to form more complicated propositions, statements or sentences.

The simplest statements are indivisible units and hence propositional logic does not study these logical properties and relations that depends on these statements.

First Order Logic

About

Symbolized reasoning in which each sentence or statement is broken into a subject and a predictate. The predicate modifies or defines the properties of the subject. In FOL, a predicate only refers to a single subject. FOL is known as first order predicte calculus.

There exist quantifiers to help define first order logic statements, as well as operators.