Estruturas Lógicas Flashcards
(27 cards)
o que são SENTENÇAS ABERTAS?
São as sentenças nas quais não podemos determinar o sujeito. Não podem ser nem V (verdadeiras) nem F (falsas).
o que são SENTENÇAS FECHADAS?
São aquelas nas quais podemos determinar o sujeito da sentença.
o que são PROPOSIÇÕES?
uma sentença (afirmativa ou negativa), as quais se podem atribuir um valor lógico, ou seja, uma valoração (verdadeira ou falsa).
o que são PROPOSIÇÕES SIMPLES OU BÁSICAS?
expressam apenas um pensamento.
o que são PROPOSIÇÕES COMPOSTAS?
expressam mais de um pensamento.
o que são conectivos lógicos?
são elementos que operam as proposições simples para formarem novas proposições, as proposições compostas.
quais são os conectivos lógicos?
‹e›,
‹ou›,
‹se, então›,
‘se, e somente se’
‘ ou… ou…’
qual nome deste operador e significado “ ⋀ “ ?
Conjunção
“e” / “mas”
qual nome deste operador e significado “ ⋁ “ ?
Disjunção inclusiva
“ou”
qual nome deste operador e significado “ ⋁_ “ ?
Disjunção exclusiva
“ou…ou…”
qual nome deste operador e significado “ → “ ?
Condicional
“Se…então..”/ “Quando”
qual nome deste operador e significado “ ↔ “ ?
Bicondicional
“Se, e somente se”,
assim como
qual nome deste operador e significado “ ~ “ ?
negação
não são proposições
frases imperativas;
interrogativas;
exclamativas
fórmula do número de linhas da tabela verdade
2^n
n = nº de proposições
” e “ também pode ser interpretado como:
multiplicação
interseção (conjuntos)
tabela verdade do “e” ^ conjunção:
exigente , só aceita duas verdades
v v v
v f f
f v f
f f f
tabela verdade do “ou” V disjunção inclusiva:
não exigente , aceita pelo menos uma verdade
v v v
v f v
f v v
f f f
” ou “ também pode ser interpretado como:
soma
união (conjuntos)
tabela verdade do “ou…ou” V_ disjunção exclusiva:
exclusividade , apenas uma verdade
v v f
v f v
f v v
f f f
” ou …ou” também pode ser interpretado como:
diferença
(p - q) V (q-p)
tabela verdade do “se…então” –> condicional:
v v v
v f f
f v v
f f v
não permite comutar
tabela verdade do “se, e somente se” –> bicondicional:
v v v
v f f
f v f
f f v
permite comutar
“se, e somente se” também pode ser interpretado como:
conjuntos iguais
(p -> q) ^ (q -> p) = p <-> q
