mediante o emprego de conectivos lógicos.
Conjunção das sentenças p e q
Ex:
p: 2 > 0
q: 2 ≠ 1
p ^ q: 2 > 0 e 2 ≠ 1
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
Disjunção das sentenças p e q.
Ex:
p: 3 = 3
q: 3 < 3
p v q: 3 ≤ 3
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?
Fórmula bem fórmula:
É uma sequência de proposições e conectivos lógicos que formam uma expressão válida.