Capítulo I - 3. Proposição Composta - Conectivos Flashcards
- A partir de proposições dadas podemos construir novas proposições, denominadas proposições compostas,
mediante o emprego de conectivos lógicos.
- Colocando o conectivo ^ entre duas proposições p e q, obtemos uma nova
proposição, P ^ Q, denominada
Conjunção das sentenças p e q
Ex:
p: 2 > 0
q: 2 ≠ 1
p ^ q: 2 > 0 e 2 ≠ 1
- postular um critério para classificar o valor lógico de uma conjunção.
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
- Colocando o conectivo v entre duas proposições p e q, obtemos uma nova
proposição, p v q, denominada
Disjunção das sentenças p e q.
Ex:
p: 3 = 3
q: 3 < 3
p v q: 3 ≤ 3
- postular um critério para classificar o valor lógico de uma disjunção.
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
Quais as 6 perguntas sobre proposições compostas e conectivos em noções de lógica?
- A partir de proposições dadas podemos construir novas proposições
- Colocando o conectivo ^ entre duas proposições p e q, obtemos uma nova
proposição, P ^ Q, denominada - postular o critério de classificação para a conjunção.
- Colocando o conectivo v entre duas proposições p e q, obtemos uma nova
proposição, p v q, denominada - postular o critério de classificação para a disjunção.
- O que é uma FBF?
- O que é uma FBF?
Fórmula bem fórmula:
É uma sequência de proposições e conectivos lógicos que formam uma expressão válida.