00 - Estruturas Lógicas Flashcards
Requisitos para ser uma proposição lógica
Deve ser uma oração
A oração em questão é declarativa
Pode-se atribuir um, e apenas um, dos possíveis valores lógicos
Quais são os 5 conectivos lógicos das proposições compostas
Conjunção (e)
Injunção inclusiva (ou)
Injunção exclusiva (ou…ou)
Condicional (se…então)
Bicondicional (se e somente se)
Proposição composta
É uma proposição que resulta da combinação de duas ou mais proposições simples por meio do uso de conectivos
Paradoxo e Sentenças abertas
Os paradoxos e sentenças abertas NÃO são proposições
É possível transformar uma sentença aberta em proposição através de quantificadores (nenhum, todo, algum)
Ordem de precedência da negação e dos conectivos
1 - Realizar a negação ~
2- Conjunção
3 - Disjunção inclusiva
4 - Disjunção Exclusiva
5 - Condicional
6 - Bicondicional
Número de linhas em uma tabela verdade
2 elevado a n
Não são proposições as sentenças
Exclamativas
Interrogativas
Imperativas
Optativas
Negação de um período composto por subordinação
Deve-se negar o verbo da oração principal
Nem sempre a oração principal aparece primeiro, logo nem sempre é o primeiro verbo a ser negado
Implicação
Dizemos que uma proposição p implica q quando a condicional p–>q é uma tautologia
Dupla negação e generalização de duas negações
Quando tivermos várias negações em sequência, podemos utilizar a seguinte regra:
Se tivermos um número par de negações, temos uma proposição equivalente a original
Se tivermos um número ímpar de negações, temos a negação da proposição original
Definição de proposição simples
É quando ela não pode ser dividida em proposições menores
Defina tautologia
É uma proposição cujo valor lógica da tabela verdade é sempre verdadeiro
Defina Contradição
É quando o valor lógico da tabela verdade é sempre falso
Defina contingência
É uma proposição cujos valores lógicos da tabela verdade podem ser tanto V quanto F, dependendo diretamente dos valores atribuídos as proposições simples que a compõem
Condição suficiente e condição necessária da proposição condicional
Em uma condicional p–>q
p é a condição suficiente para q
q é a condição necessária para p