Conexións lóxicas

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