Lógica

La resolución de problema, diseño de algoritmos y programación requiere de un razonamiento lógico completo, la lógica trata los métodos y el arte de razonamiento sistemático.

Proposiciones Simples

Una proposición es una sentencia declarativa que es verdadera o falsa pero no ambas.

Ejemplos:

v  La mañana es fría.

v  Un girasol es amarillo.

v  El avestruz es un ave.

v  El agua es incolora.

Proposiciones  Compuestas

Una proposición que es indivisible se conoce como proposición primitiva. Las sentencias derivadas de las primitivas y de varios conectores lógicos como: No, Y, O, Si...entonces, Si y solo si, se conoce como proposiciones compuestas.

Ejemplos:

v  Una gallina no es un cuadrúpedo.

v  Las hojas son rojas y azules.

v  El traje es negro o azul.

v  Si te mojas entonces te enfermarás.

v  Un insecto vuela si y solo si tiene alas.