AULA 1
Proposições e conectivos lógicos
Proposições:Afirmações que só podem ser classificadas ou como verdadeirasou como falsas.
Conectivos lógicos:
Significado | Símbolo lógico | |
Negação | não | ~ ou¬ |
Conjunção | e | ∧ |
Disjunção | ou | ∨ |
Condicional | se...então | → |
Bicondicional | se e somente se | ⇔ |