Capítulo I - 3. Proposição Composta - Conectivos Flashcards

1
Q
  1. A partir de proposições dadas podemos construir novas proposições, denominadas proposições compostas,
A

mediante o emprego de conectivos lógicos.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q
  1. Colocando o conectivo ^ entre duas proposições p e q, obtemos uma nova
    proposição, P ^ Q, denominada
A

Conjunção das sentenças p e q

Ex:
p: 2 > 0
q: 2 ≠ 1
p ^ q: 2 > 0 e 2 ≠ 1

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q
  1. postular um critério para classificar o valor lógico de uma conjunção.
A

A conjunção p ^ q é verdadeira se as proposições p e q são ambas verdadeiras; se ao menos uma delas for falsa, então p ^ q é falsa.

Tabela verdade da conjunção:

P ~Q P ^ Q
V V V
V F F
F V F
F F F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q
  1. Colocando o conectivo v entre duas proposições p e q, obtemos uma nova
    proposição, p v q, denominada
A

Disjunção das sentenças p e q.

Ex:
p: 3 = 3
q: 3 < 3
p v q: 3 ≤ 3

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q
  1. postular um critério para classificar o valor lógico de uma disjunção.
A

A disjunção p v q é verdadeira se ao menos uma das proposições p ou q é verdadeira.

Tabela verdade da disjunção

P ~Q P v Q
V V V
V F V
F V V
F F F

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

Quais as 6 perguntas sobre proposições compostas e conectivos em noções de lógica?

A
  1. A partir de proposições dadas podemos construir novas proposições
  2. Colocando o conectivo ^ entre duas proposições p e q, obtemos uma nova
    proposição, P ^ Q, denominada
  3. postular o critério de classificação para a conjunção.
  4. Colocando o conectivo v entre duas proposições p e q, obtemos uma nova
    proposição, p v q, denominada
  5. postular o critério de classificação para a disjunção.
  6. O que é uma FBF?
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q
  1. O que é uma FBF?
A

Fórmula bem fórmula:
É uma sequência de proposições e conectivos lógicos que formam uma expressão válida.

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