Proposições Lógicas

Question 1

Nuna podem ser proposições…

Answer 1

1 - Perguntas;
2 - Exclamações;
3 - Ordens;

Question 2

Quantificadores Lógicos

Answer 2

TODO
ALGUM
NENHUM

Question 3

Conectivos Lógicos

Answer 3

E (MAS, Porém, Nem (e não) - Conjunção;
OU - Disjunção;
OU, OU - Disjunção Exclusiva;
SE, ENTÃO (Como, quando, porque, logo) - Condicional;
SE, E SOMENTE SE - Bicondicional (Equivalência);

Question 4

Número de linhas na Tabela Verdade

Answer 4

2^n. N = número de proprosições simples.

Question 5

Valores Logícos da Conjunção (E)

Answer 5

Verdadeira quando ambas forem verdades. Senão, ser falsa.

Question 6

Valores Logícos da Disjunção (OU)

Answer 6

Falsa quando ambas falsas. Senão, será verdadeira.

Question 7

Valores Logícos da Disjunção Exclusiva (OU, OU)

Answer 7

Se ambas verdadeiras - Verdadeira;

Se ambas falsas - Falsa.

Question 8

Valores Logícos da Condicional (SE, ENTÃO)

Answer 8

Apenas Falso quando Antecedente VERDADEIRO e consequente FALSO;

Question 9

Valores Logícos da Bicondicional (SE, SOMENTE SE)

Answer 9

Verdadeiro quando ambos iguais.

Question 10

Equivalência Lógica

Answer 10

Quando proprosições são formadas pelas mesmas proposições simples e tabelas verdades iguais.

Question 11

Equivalências Recíprocas

Answer 11

Troca-se a posição nos casos:

∨, ∧, ⊻, ↔

Question 12

Equivalências Contrárias

Answer 12

Negam-se ambos os termos:

⊻, ↔

Question 13

Equivalências Contrapositivas

Answer 13

Negam-se e trocam-se os termos:

⊻, ↔, →

Question 14

Equivalências Especiais - Disjunção Exclusiva, e Bicondicional

Answer 14

Disjunção Exclusiva - P ⊻ Q = (P ∧ ~Q) ∨ (~P ∧ Q);

Bicondicional - P ↔ Q = (P → Q) ∧ (Q → P)

Question 15

Lei de Morgan

Answer 15

Quando se nega uma Conjunção ou Disjunção, Símbolo se invertem:
~(P ∧ Q) = ~P ∨ ~Q
~(P ∨ Q) = ~P ∧ ~Q

Question 16

Negações de Disjunção Exclusiva e Bicondicional

Answer 16

1 - Similar a Lei de Morgan, porém, não se negam os termos:
~(P ⊻ Q) = P ↔ Q;
~(P ↔ Q) = P ⊻ Q.

2 - Mantem-se e nega-se apenas um dos termos:
~(P ⊻ Q) = ~P ⊻ Q \ ~(P ⊻ Q) = P ⊻ ~Q
~(P ↔ Q) = ~P ↔ Q \ P ↔ ~Q

Question 17

Equivalência e Negação de Condicional

Answer 17

Equivalência - P → Q = ~P ∨ Q

Negação - ~(P → Q) = P ∧ ~Q

Question 18

Tautologia

Answer 18

Sempre Verdadeira, independente dos Termos.

Question 19

Contradição

Answer 19

Sempre Falsa, independente dos termos

Question 20

Contingência

Answer 20

Tabela Verdade Apresenta tanto Falsas quanto Verdadeiras.