Proposições e conectivos
Ex: Avião voa V
4+3 = 8 F
Sempre podemos decidir se uma proposição é falsa F ou verdadeira V.
A logica matematica adota os dois seguintes principais (axiomas) como regras fundamentais do pensamento.
1)Principio da não-contradição:
uma proposição não pode ser ao mesmo tempo V e F
2)Principio do Terceiro excluido toda proposição ou é V ou é F
Valores logicos das proposições:
O valor logico de uma proposição verdadeira é V e o valor logico de uma proposição não verdadeira é F assim, pelos principais 1 e 2 toda proposição tem um e so um valor logico.
Proposições simples
São aqueles que não contêm outra proposição como parte integrante de si mesmo. Representadas por letras minúsculas p,q,r,s.....
Ex: p:Carlos joga futebolq:Antonio é estudante
Proposições compostas
São formadas pela combinação de duas ou mais proposições representadas por letras maiusculas P,Q,R,S...
Ex:Carlos joga futebol E Antonio é estudante.
Carlos joga futebol OU Antonio é estudante.Conectivos
São as palavras que usamos para formar novas proposições.As proposições compostas são formadas por outras proposições ligadas pelos conectivos.
São eles
Ex: P: p^q = p e qQ: pvq = p ou qR: ~p = não pS: p->q = se p então qT: p<->q
Os conectivos servem também (através de uma tabela verdade ou da lista de equivalências ) para identificar se um proposição é verdadeira ou não.
Att Karina