1 - Operações lógicas

Em continuidade ao estudo das operações lógicas, neste módulo serão estudados dois outros conectivos lógicos: “Se-então” e “se e somente se”.

Esses conectivos possibilitam a criação de novas proposições por meio das operações lógicas denominadas como Condicional e Bicondicional, respectivamente identificadas abaixo:

Operação		Conectivo
Operação Condicional	→	“Se - então”
Operação Bicondicional	→	“se e somente se”