Lógica e Teoria dos Conjuntos

Introdução à Lógica Bivalente

O essencial
Designação ou termo

Chama-se designação ou termo a uma expressão cujo papel é nomear ou

designar alguma coisa.

Dois termos que designam o mesmo ente dizem-se sinónimos.

Proposição

Chama-se proposição a uma expressão que traduz uma afirmação que

pode ser classificada como verdadeira ou falsa.

Diz-se que o valor lógico de uma proposição é verdade (V ou 1) ou

falsidade (F ou 0) conforme a proposição seja verdadeira ou falsa.

Princípio de não contradição

Uma proposição não pode ser simultaneamente verdadeira e falsa.

Princípio do terceiro excluído

Uma proposição ou tem valor lógico verdade ou tem valor lógico

falsidade, não podendo assumir outro valor.

Operações sobre proposições

Equivalência

Dadas duas proposições p e q , pq é uma nova proposição, designada

por equivalência entre p e q, que é verdadeira se, e apenas se, p e q

tiverem o mesmo valor lógico.

Operações sobre proposições
Negação

Dada uma proposição p, a sua negação, que se representa por p, é

uma nova proposição que tem valor lógico F se p tiver valor lógico V, e

tem valor lógico V se p tiver valor lógico F.

A negação da negação de uma proposição p é uma proposição

equivalente a p.
Operações sobre proposições

Conjunção

Dadas duas proposições p e q, pq é uma nova proposição, designada por

conjunção de p e q, que é verdadeira se, e apenas se, p e q forem ambas

verdadeiras.
Operações sobre proposições

Disjunção

Dadas duas proposições p e q, pq é uma nova proposição, designada por

disjunção de p e q, que é falsa se, e apenas se, p e q forem ambas falsas.

Operações sobre proposições

Implicação

Dadas duas proposições p e q, pq é uma nova proposição, designada

por implicação entre p e q, que é falsa se, e apenas se, p for verdadeira e q

for falsa.

Nota:

p designa-se por «antecedente» e q por «consequente».

Em linguagem corrente, lê-se: «se p, então q».

Propriedades da conjunção e da disjunção

Conjunção Propriedade Disjunção

pq  q p Comutativa pq q p

 p  q  r  p  q  r  Associativa  p  q  r  p  q  r 
p V  p Vp p Elemento neutro p F  p Fp p

pF  F FpF Elemento absorvente p V  V V  p V

p p  p Idempotência p p  p
Propriedades da conjunção e da disjunção

Propriedade distributiva da conjunção relativamente à disjunção

p  q  r    p  q   p  r 

Propriedade distributiva da disjunção relativamente à conjunção

p  q  r    p  q   p  r 
Primeiras leis de De Morgan

A negação da conjunção de duas proposições, p e q, é equivalente à

disjunção das suas negações, ou seja, (pq)pq.

A negação da disjunção de duas proposições, p e q, é equivalente à

conjunção das suas negações, ou seja, (pq)pq.

Propriedades da implicação

Transitiva
 p  q  q  r    p  r 
Implicação e disjunção
p q  ~ pq

Negação
~  p  q   p ~ q

Implicação contrarrecíproca
 p  q  ~ q ~ p
Sugestão
No site ttp://www.wolframalpha.com/ poderá testar algumas das suas

conjeturas relativamente ao cálculo proposicional e observar tabelas de

verdade e formas alternativas de escrita de proposições.

Observe, por exemplo, o que se obtém introduzindo p < = > q e clicando em

igual.

http://www.wolframalpha.com/input/?i=%28p%29+%3C%3D%3E%28q%29

Boa exploração!