LÓGICA INFORMÁTICA by Nicolás Monzón https://padlet.com/nico_monzon281/snrrtp142xlc Concepto y aplicación. en-us 2015-07-06 21:13:36 UTC 2025-05-05 12:02:41 UTC hello@padlet.com https://padlet-uploads.storage.googleapis.com/69495218/ade67de27855abb0508dfced91bcc8197398dc0e/7b76376c12a115750030126b4f0f780b.jpg Lógica Informática  nico_monzon281 https://padlet.com/nico_monzon281/snrrtp142xlc/wish/64202178

Es el método o razonamiento en que las ideas o la sucesión de los hechos se manifiestan o se desarrollan de forma coherente sin que halla contradicciones entre ellos.

]]> 2015-07-06 22:16:01 UTC https://padlet.com/nico_monzon281/snrrtp142xlc/wish/64202178 Aplicaciones de la Lógica en la Informática nico_monzon281 https://padlet.com/nico_monzon281/snrrtp142xlc/wish/64202375

  • Programación Lógica.
  • Verificación de Software.
  • Representación del razonamiento.
  • Modelización y razonamiento sobre sistemas.

]]> 2015-07-06 22:26:23 UTC https://padlet.com/nico_monzon281/snrrtp142xlc/wish/64202375 Argumentación y Formalización de Lógica Informática (EJEMPLO) nico_monzon281 https://padlet.com/nico_monzon281/snrrtp142xlc/wish/64203394

Argumento:

Si hay corriente eléctrica y la lámpara no está fundida, entonces está encendida.

Formalización:

p= hay corriente eléctrica.

q= la lámpara está fundida.

r= la lámpara está encendida.

]]> 2015-07-06 23:13:28 UTC https://padlet.com/nico_monzon281/snrrtp142xlc/wish/64203394