Você está na página 1de 4

1.

PROPOSIÇÃO LÓGICA
Proposição lógica é uma sentença declarativa, fechada e que possui um valor lógico de ou verdadeiro ou falso.

5.1. NEGAÇÃO: “Não” (~ ou )


O operador da negação modifica o valor lógico de uma proposição. Por isso ele é chamado de “Modificador Lógi-co”.

5.2. CONJUNÇÃO: “E” ( )


Para que uma conjunção resulte em verdadeiro, é preciso que todas as partes conectadas sejam verdadeiras.

5.3. DISJUNÇÃO INCLUSIVA: “Ou” ( )


Para que uma disjunção inclusiva resulte em verdadeiro, é preciso que haja pelo menos uma parte conectada
verdadeira.

5.4. DISJUNÇÃO EXCLUSIVA: “Ou ..., ou ...” ( )


Para que uma disjunção exclusiva resulte em verdadeiro, é preciso que haja somente uma parte conectada ver-
dadeira.

5.5. CONDICIONAL: “Se ..., então ...” ( )


Só há uma configuração de valores para a qual um condicional resulta em falso: antecedente verdadeiro e conse-
quente falso.
OBSERVAÇÃO: Há outras expressões que podem substituir o “se ..., então ...”. Acompanhe:
Quando chove, não vou à praia.
Sempre que chove, não vou à praia.
Toda vez que chove, não vou à praia.
Chove, logo não vou à praia.
Não vou à praia, pois chove.

5.6. BI CONDICIONAL: “Se, e somente se” ( )


A estrutura do bi condicional é uma conjunção (“E”) de dois condicionais. Portanto, para resultar em verdade, terá
que apresentar verdade em ambos os condicionais. Acompanhe:

OBSERVAÇÃO: Se na proposição composta não aparecerem parênteses organizando a ordem das operações, siga
as prioridades:

~˄˅→↔
7. PROPOSIÇÕES EQUIVALENTES

7.1. EQUIVALÊNCIA DO CONDICIONAL


7.2. EQUIVALÊNCIA DA DISJUNÇÃO INCLUSIVA

7.3. NEGAÇÃO DA DISJUNÇÃO INCLUSIVA E DA CONJUNÇÃO

7.4. NEGAÇÃO DO CONDICIONAL

LÓGICA DE 1ª ORDEM
1. DIAGRAMAS LÓGICOS
1.1 EXPRESSÕES QUANTIFICADORAS E SEUS DIAGRAMAS

1.2 NEGAÇÃO DAS EXPRESSÕES QUANTIFICADORAS


2. PROPOSIÇÃO FUNCIONAL
Uma sentença aberta pode se transformar em proposição lógica através do uso de um quantificador lógico. Ob-serve
a sentença aberta: “x + 3 > 10”. Isso não é uma proposição lógica, uma vez que necessita do valor de x para que
tenhamos o julgamento de seu valor lógico. Mas considere o conjunto A = {8, 9, 12} e a sentença “Para todo x que
pertence ao conjunto A, tem-se que x + 3 > 10”. Agora temos uma proposição lógica! É a chamada “lógica de 1ª
ordem”.

LÓGICA DE ARGUMENTAÇÃO
1. ARGUMENTO

Argumento é um conjunto de proposições divididas entre premissas e conclusão, e que declara que se partirmos da
verdade das premissas, chegaremos, inevitavelmente, à verdade da conclusão.
Exemplos:
Os documentos estão na minha pasta. Minha pasta está na sala de aula. Logo, os documentos estão na sala de aula.
Minha camisa está no banheiro. Minha sacola está no banheiro. Logo, minha camisa está na sacola.
Se Ricardo ou Maria forem à festa, então eu não irei. Ricardo não irá à festa. Logo, eu irei.
Todo homem é inteligente, e Maria é inteligente. Logo, Maria é homem.

2. VALIDADE DE UM ARGUMENTO
A análise da validade de um argumento pode ser feita de diversas maneiras. Vamos eleger duas delas para usar-
mos, cada uma, de acordo com o tipo de argumento.
a) Argumentos construídos com expressões quantificadoras.

Você também pode gostar