En esta semana pudimos realizar varios ejercicios / problemas utilizando los conectivos lógicos , vimos la negación, disyunción ,entre otros. Aquí una pequeña definición:
CONECTIVOS LÓGICOS
También llamado operador lógico o conectores lógicos , son un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
|
Tipo de Proposición
|
Símbolo
|
Conectivo
|
|
Negación
|
~
|
No
|
|
Conjunción
|
Λ
|
Y
|
|
Disyunción
|
V
|
O
|
|
Implicación o Condicional
|
|
Si… entonces
|
|
Doble Implicación o Bicondicional
|
|
Si y solo si
|
No hay comentarios:
Publicar un comentario