Lógica Matemática - Aula I - Lógica Proposicional

O que é Lógica Proposicional?
 é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos
                                               
Quais são os símbolos utilizados pela Lógica Proposicional?

                                               Negação - “-“, “~”, not, não
                                               Conjunção - “&”, “.”, and, e
                                               Disjunção - “”, or, ou
                                               Condicional - “”
                                               Bicondicional - “”


Qual a analogia podemos fazer entre a Sintaxe da língua portuguesa e a Sintaxe matemática?


Qual o significado (semântica) de cada um dessas expressões?

x -> y SE ENTÃO
x <-> y SE E SOMENTE SE
x ^ y E
x v y OU