PROPOSIÇOES LOGICA

As proposições lógicas podem ser classificadas em dois tipos:

As proposições lógicas podem ser classificadas em dois tipos:

Proposição simples - São representadas de forma única. Ex: O cachorro é um mamífero

Proposição composta - São formadas por um conjunto de proposições simples, ( duas ou mais proposições simples ligadas por “conectivos lógicos”).

Ex: Brasília é a capital do Brasil ou Lima é a capital do Peru.

Podemos ver que atribuir um valor lógico para uma proposição simples é fácil, mas e para uma proposição composta como faremos isso?

Utilizaremos um recurso chamado de tabelas verdade.

As tabelas verdade são usadas para representar todos os valores lógicos possíveis de uma proposição. Voltemos ao exemplo anterior.

Brasília é a capital do Brasil” , pode ser representada por “p”. Representando –a na tabela verdade,temos:

Sabendo que uma tabela verdade é a representação de todas as possibilidades lógicas de uma proposição, agora vamos estudar os conectivos lógicos que ligam as proposições compostas para sim podermos analisar os valores lógicos de uma proposição composta.

Sabendo que uma tabela verdade é a representação de todas as possibilidades lógicas de uma proposição, agora vamos estudar os conectivos lógicos que ligam as proposições compostas para sim podermos analisar os valores lógicos de uma proposição composta.