Estruturas lógicas Flashcards
O que é uma proposição lógica?
Uma oração declarativa que pode ser atribuída um, e apenas um, valor lógico (Verdadeiro ou falso)
Oração declarativa tem a presença de um verbo
Não são proposições as sentenças…
exclamativas, interrogativas, imperativas e optativas.
Muito menos as abertas e nem os paradoxos
p^q é relativo a qual tipo de conectivo?
Conjunção - tipo
e - conectivo
p∧q - notação
p&q - notação alternativa
p∩q
conectivos alternativos
p, mas q
pVq é relativo a qual tipo de conectivo?
Disjunção inclusiva - tipo
ou - conectivo mais comum
pVq - notação
pUq - notação alternativa
p.V.q é relativo a qual tipo de conectivo?
Disjunção Exclusiva - tipo
ou… ,ou - conectivo mais comum
pVq - notação
p⊕q - notação alternativa
conectivos alternativos
p ou q, mas não ambos
p, ou q
p ->q é relativo a qual tipo de conectivo?
Condicional - tipo
se… ,então - conectivo
p→q - notação
p⊃q - notação alternativa
conectivos alternativos
p implica q
Quando p, q
Toda vez que p, q
p somente se q
Se p, q
Como p, q
p, logo q
q, se p
q, pois p
q porque p
p é condição suficiente para q
q é condição necessária para p
p↔q é relativo a qual tipo de conectivo?
Bicondicional - tipo
se e somente se - conectivo
p↔q - notação
Conectivos alternativos
p assim como q
p se e só se q
Se p então q e se q então p
p somente se q e q somente se p
p é condição suficiente e
necessária para q
q é condição suficiente e
necessária para p
Conjunção (p∧q): é verdadeira somente se
as proposições p e q sejam ambas verdadeiras
Disjunção Inclusiva (p∨q): é falsa somente se
as preposições p e q sejam ambas falsas
Condicional (p→q): é falsa somente se
a primeira proposição for verdadeira e a segunda falsa
Regra da Vera Fischer Fantástica
Disjunção Exclusiva (p∨q): é falsa se
ambas tiverem o mesmo valor
Bicondicional (p↔q): é verdadeira se
ambas tiverem o mesmo valor
Qual deve ser a ordem de precedência usada para construir a tabela verdade?
- negação
- Conjunção ou Disjunção inclusiva ( a que vier primeiro)
- disjunção exclusiva
- condicional
- bicondicional
Tautologia é uma proposição cujo valor lógico da tabela-verdade é sempre
Verdadeiro
Contradição é uma proposição cujo valor lógico é sempre
Falso