Ohne Titel

Seite 1

Lógica: Trabalha com sentenças afirmativas

Exemplos:

Raiza Quadrada de 2 + 3 = 5 (sentença afirmativa expressa através de mat)

Verde é azul

Ela saiu cedo ( sentença aberta)

Valor Lógico: VERDADEIRO ou FALSO

1. Estruturas

lógicas básicas:

Proposições e Conectivos;

a) Proposições: são sentenças afirmativas, possível de identificação de valor lógico, se verdadeiro ou falso. Der forma geral: é uma sentença afirmativa que pode ser checada.

Simples: Que não podem ser reduzidas em proposições menores, pois apresentam uma estrutura mínima.

Ex: Rui é lerdo ; Cosmo é Concurseiro

Compostas: Junção de composições ligadas através de conectivos

Ex: Rei é lerdo E Mara é concurseira

b) Conectivos:

Juntar proposições simples, são cinco os conectivos:

e = conjunção

ou = disjunção

se, então = condicional

se, e somente se = bicondicional

ou, ou = disjunção exclusiva

Tabela Verdade das Proposições Compostas:

São cinco tabelas verdade, uma para cada conectivo

Conjunção: Será verdade (V) apenas quando os dois elementos forem verdadeiros

Disjunção: Só é falsa, quando os dois forem falsos

Condicional: (se P, então Q)

ela só é falsa em uma única situação se a PRIMEIRA verdadeira e a SEGUNDA falsa

Bicondicional: Se FV OU VF= F; FF OU VV= V

Disjunção Exclusiva: Oposto da bicondicional

Proposições e Equivalências Lógicas

Duas proposições compostas são equivalentes quando tiverem o mesmo valor lógico (V ou F), independente dos valores lógicos das proposições simples que as compõem.