Conexións lóxicas

En Galilibros, o Wikibooks en galego.

As conexións lóxicas empréganse para combinar proposicións para formar novas proposicións. Estas novas proposicións son proposicións compostas porque constan de varias compoñentes.

No tema Proposicións úsase unha linguaxe natural, o galego, para expresar conexións lóxicas. Úsanse palabras como «se», «ou» e «non». Pero os idiomas non son sempre axeitados para a expresión da lóxica, dado que algunhas palabras e expresións poden resultar ambiguas. Neste tema introdúcense símbolos de conexións lóxicas que permiten definir expresións lóxicas sen ambigüidade.

Índice[editar]

  1. Negación
  2. Conxunción
  3. Disxunción
  4. Condicional
  5. Bicondicional

Recursos didácticos[editar]

Véxase tamén[editar]