NOÇÕES DE LÓGICA - CONECTIVOS
.png)
conectivos
A partir de proposições usadas podemos construir novas proposições mediante o emprego de dois símbolos lógicos conectivos: o conectivo ˄ (lê-se: e) e o conectivo ˅ (lê-se: ou).
Conectivo ˄ (e)
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.
Vamos postular um critério para
estabelecer o valor lógico (V ou F) de uma
conjunção a partir dos valores lógicos, a conjunção p ˄ q é verdadeira se p e q são
ambas verdadeiras; se ao menos uma delas
for falsa, então p ˄ q é falsa.
Conectivo ˅ (ou)
Colocando o conectivo ˅ entre duas proposições p e q, obtemos uma nova proposição, p ˅ q, denominada disjunção das sentenças p e q
a) p: 3 > 0
q: 3 > 1
p ˅
q: 3 > 0 ou 3 > 1
Vamos postular um critério para
estabelecer o valor lógico (V ou F) de uma
conjunção a partir dos valores lógicos
(conhecidos) das proposições p e q:
A conjunção p ˄ q é verdadeira se p e q são
ambas verdadeiras; se ao menos uma delas
for falsa, então p ˄ q é falsa.
Esse critério está resumido na tabela acima, em que são examinadas todas as
possibilidades para p e q. Essa tabela é
denominada tabela-verdade da proposição
p ˄ q
ATÉ A PRÓXIMA :)
DE OLIVEIRA, Prof. Me. Mateus Souza. Noções de: Lógica. Noções de Lógica, 2022. Disponível em: https://ava.ifba.edu.br/mod/resource/view.php?id=154160. Acesso em: 12 nov. 2022.
.png)
Comentários
Postar um comentário