Estruturas Lógicas Flashcards

1
Q

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

A

proposição lógica

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Tabela verdade do ‘‘E’’
∧ (conjunção)

A

Só será V se conterem apenas verdades. Macete: ‘‘E’’ é Exigente.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Tabela verdade do ‘‘OU’’
∨ (disjunção inclusiva)

A

Só será V se conter PELO MENOS uma verdade.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Tabela verdade do ‘‘OU…OU’

A

Só será V se conter APENAS uma verdade.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Tabela Verdade do ‘‘Se…então’’
(implicação material)

A

Só será F se a primeira for verdade e a sengunda mentira. Macete: Vera Fischer Falsa.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Tabela Verdade do ‘‘Se somente se’’
(bicondicional)

A

Para ser V os valores lógicos devem ser iguais.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Construção de uma tabela-verdade

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Ordem de procedência

A

1 ~
2 v ou ^
3 –>
4 <–>

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

TAUTOLOGIA

A

Tautologia é uma proposição cujo valor lógico da tabela-verdade é sempre verdadeiro

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

CONTRADIÇÃO

A

Contradição é uma proposição cujo valor lógico é sempre falso.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

CONTINGÊNCIA

A

é uma proposição cujos valores lógicos podem ser tanto V quanto F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Equivalências fundamentais
Contrapositiva da condicional
Trocar ´SE ENTÃO´ por outro ´SE ENTÃO´

A
  1. Invertem-se as posições do antecedente e do consequente; e
  2. Negam-se ambos os termos da condicional.
    p→q ≡ ~q→~p
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Equivalências fundamentais
Trocar ´SE ENTÃO POR OU´ e vice-versa

A

( SEntOU NEyMAr)
1. Negar a primeira
2. Manter a segunda
p→q ≡ ~pVq

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Equivalências fundamentais
Trocar ´SE SOMENTE SE´ por ´OU…OU´ e vice-versa

A

Negando uma das partes pois eles são opostos na tabela verdade

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Equivalências fundamentais
´OU…OU´ POR ´E´

A

Ou estudo ou viajo
= Estudo ou viajo, mas não ambos
(P ouou Q) ≡ (P v Q) ^ ~(P ^ Q)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Equivalências fundamentais
SE SOMENTE SI POR SE ENTAO

A

p<–>q ≡ (p→q) ∧ (q→p)
Vai e volta

17
Q

Comutatividade das Proposições

A

SÃO COMUTATIVAS:
E/ OU/ OU…OU/ SE SOMENTE SE
NÃO É CUMUTATIVO:
SE…ENTÃO

18
Q

Equivalência da Distributiva

A

(P v Q) ^ (P v R) ≡ P v (Q ^ R)
Colocar em evidência e trocar o conectivo.