La resolución de problemas, diseños de algoritmos y programación requieren un razonamiento lógico completo. La lógica trata los metodos y el arte de razonamiento sistemático.
Lógica proposicional
- Proposiciones simples. Una proposición es una sentencia declarativa que es verdadera o falsa pero no ambas, por ejemplo:
"La mañana es fría"
"Un girasol es amarillo"
- Proposiciones Compuestas. Una proposición 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 conocen como proposiciones compuestas.
Ejemplos:
Una gallina no es un cuadrúpedo.
Las hojaa 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
No hay comentarios.:
Publicar un comentario