Saturday, November 8, 2008

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: