Cálculo Proposicional 2

Oi, galera! As fórmulas atômicas podem ser combinadas entre si e, para representar tais combinações usaremos os conectivos lógicos :

Exemplos:
· A lua é quadrada e a neve é branca. : p ^ q (p e q são chamados conjunctos)

· A lua é quadrada ou a neve é branca. : p v q ( p e q são chamados disjunctos)

· Se a lua é quadrada então a neve é branca. : p -> q ( p é o antecedente e q o conseqüente)

· A lua é quadrada se e somente se a neve é branca. : p <-> q

· A lua não é quadrada. : ~p

Para refletir: "O estudo da Bíblia constitui o mais elevado Curso de pós-graduação na mais preciosa Biblioteca da experiência humana." (Herbert Hoquer)