Quer estudar Lógica Proposicional? Aqui no Stoodi você encontra resumos grátis de Matemática que podem ser salvos em PDF para ajudar na sua preparação para o Enem e principais vestibulares.
Proposições:Afirmações que só podem ser classificadas ou como verdadeirasou como falsas.
Conectivos lógicos:
Significado | Símbolo lógico | |
Negação | não | ~ ou¬ |
Conjunção | e | ∧ |
Disjunção | ou | ∨ |
Condicional | se...então | → |
Bicondicional | se e somente se | ⇔ |
Para analisar os valores lógicos das proposições compostas existem tabela que preveem todos os possíveis valores lógicos que uma sentença pode possuir a partir dos valores lógicos das proposições simples. São astabelas-verdade.
Negação | ||
p | ~p | |
V | F | |
F | V | |
Conjunção | |||
p | q | p∧q | |
V | V | V | |
V | F | F | |
F | V | F | |
F | F | F | |
Disjunção | |||
p | q | p∨q | |
V | V | F | |
V | F | V | |
F | V | V | |
F | F | V | |
Condicional | |||
p | q | p → q | |
V | V | V | |
V | F | F | |
F | V | V | |
F | F | V | |
Bicondicional | |||
p | q | p ⇔q | |
V | V | V | |
V | F | F | |
F | V | F | |
F | F | V | |
Montar uma tabela verdade é partir das tabelas-verdade já existentes para analisar outros casos. Por exemplo:
Montar a tabela verdade para p∧~q
p | q | ~q | p∧~q |
V | V | F | F |
V | F | V | V |
F | V | F | F |
F | F | V | F |
Não foi possível realizar o seu cadastro com a sua conta do Facebook pois o seu email não está confirmado no Facebook.
Clique aqui para ver como confirmar sua conta de email no Facebook ou complete seu cadastro por aqui.
Entendi