Prolog

Befor start our prolog lesson, lets consider about Logics.

In this tutorial let's quickly go through the propositional logic and Predicate logics.

Prepositional Logic:

statemet ro an expression either true or fale can be describe as a proposition.

example1:

3<5>

so this can be consider as a preposition.

example2:

today is 8th of November 2008. This is also a preposition.

Connectives:

we can use the connectives to combine the propositions to form compound/ complex propositoins.

Compound Prepositions.

p q p and q p or q p implise q p if and only if q

T T T T T T

T F F T F F

F T F T T F

F F F F T T

Totalogy: if a statement is always true, then we can consider it as a totalogy.

Contradictory: if a statement is always false, then it is known as a contradictory.

Logical Iquivlant: