Lógica

Lógica

La resolución de problemas, diseños de algoritmos y programación requieren un razonamiento lógico completo. La lógica trata los métodos y el arte del razonamiento sistemático

Lógica Proposicional

Proposiciones Simples

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

Ejemplo:

- La mañana es fría

- Un girasol es amarillo

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 preposiciones compuestas.

Ejemplo: 

-Una gallina no es un cuatripedo

-Las hojas son rojas y azules

-El traje es negro o azul

-Si te mojas entonces te enfermas

-Un insecto vuela si y solo si tiene alas