Estruturas Lógicas e Equivalências Flashcards
Sabemos que uma …….é uma oração declarativa à qual pode ser atribuída um, e apenas um,
dos dois possíveis valores lógicos: verdadeiro ou falso
proposição lógica
Tabela verdade do ‘‘E’’
∧ (conjunção)
Só será V se conterem apenas verdades. Macete: ‘‘E’’ é Exigente.
Tabela verdade do ‘‘OU’’
∨ (disjunção inclusiva)
Só será V se conter PELO MENOS uma verdade.
Tabela verdade do ‘‘OU…OU’
Só será V se conter APENAS uma verdade.
Tabela Verdade do ‘‘Se…então’’
(implicação material)
Só será F se a primeira for verdade e a sengunda mentira. Macete: Vera Fischer Falsa.
Tabela Verdade do ‘‘Se somente se’’
(bicondicional)
Para ser V os valores lógicos devem ser iguais.
Construção de uma tabela-verdade
passo 1: determinar o número de linhas da tabela-verdade 2^𝑛 = 2x3 = 8
n= número de proposições simples.
Passo 2: desenhar o esquema da tabela-verdade
Ordem de procedência
1 ~
2 v ou ^
3 –>
4 <–>
TAUTOLOGIA
Tautologia é uma proposição cujo valor lógico da tabela-verdade é sempre verdadeiro
CONTRADIÇÃO
Contradição é uma proposição cujo valor lógico é sempre falso.
CONTINGÊNCIA
é uma proposição cujos valores lógicos podem ser tanto V quanto F
Equivalências fundamentais
Contrapositiva da condicional
Trocar ´SE ENTÃO´ por outro ´SE ENTÃO´
- Invertem-se as posições do antecedente e do consequente; e
- Negam-se ambos os termos da condicional.
p→q ≡ ~q→~p
Equivalências fundamentais
Trocar ´SE ENTÃO POR OU´ e vice-versa
( SEntOU NEyMAr)
1. Negar a primeira
2. Manter a segunda
p→q ≡ ~pVq
Equivalências fundamentais
Trocar ´SE SOMENTE SE´ por ´OU…OU´ e vice-versa
Negando uma das partes pois eles são opostos na tabela verdade
Equivalências fundamentais
´OU…OU´ POR ´E´
Ou estudo ou viajo
= Estudo ou viajo, mas não ambos
(P ouou Q) ≡ (P v Q) ^ ~(P ^ Q)