Professional Documents
Culture Documents
1. Estruturas lógicas
1.1. Introdução
Não podem ser proposições: sentenças interrogativas, imperativas, exclamativas, sem verbo, ou que
possam mudar de significado (incógnita).
A premissa é uma afirmação sempre verdadeira, inquestionável. A partir da premissa, utilizando as
demais proposições chega-se a uma conclusão.
A proposição composta é aquela formada por duas proposições simples que são emendadas por
estruturas conectivas como “se...então”, “e”, “ou”.
Símbolo: “AvB”.
segunda premissa deverá ser considerada verdadeira também. Assim sabemos que “Carlos mora em
vila velha”.
Assim também podemos dizer que a proposição C tem as duas premissas verdadeiras, sendo que a
primeira premissa, é formada por duas “subpremissas” com a disjunção “ou”, pois Carlos mora em
Serra (falso) ou em vila velha (verdadeiro) o que forma uma subpremissa verdadeira, compondo a
premissa condicional “se... então” verdadeira: “Se carlos mora em serra (F) ou em filha velha (V), então
Abel mora em vitória (V)”.
1.9. Tabelas-verdade:
Como fazer uma tabela-verdade? É só colocar um a um cada preposição e cada conjunto de preposição
e as possibilidades de V ou F de cada uma delas:
Exemplo: [(¬A) B]^A:
A ¬A B (¬A)B [(¬AB)]^A
V F V V V
V F F V V
F V V V F
F V F F F
Outro exemplo: (AB)C
A B (AB) C (AB)C
V V V V V
V F F V V
F V V F F
F F V F F
OBS: O que é tautologia? Tautologia ocorre quando uma proposição é sempre verdadeira. Seu oposto
é a contradição quando uma proposição é sempre falsa. (todos os itens da tabela são falsos).
OBS: Como saber o número de linhas da tabela? Normalmente as proposições do tipo AB, A^B, são
formada por duas proposições. Quando há uma proposição formada, por exemplo, com 3 proposições
simples (P^QR) a número de linhas da tabela-verdade será dado por 2ᶰ, sendo “N” o número de
proposições, portanto se houver 3 proposições será 2³ tendo 8 linhas.
1.10. Inversão e negação composta
Inversão de uma premissa conjuntiva: Se o valor lógico da proposição “Se as operações de crédito no
País aumentaram então os bancos ganham muito dinheiro” é V. Então é correto concluir que o valor
lógico da proposição “Se os bancos não ganharam muito dinheiro, então as operações de crédito no
país não aumentaram” também é V.
Operações de crédito no país aumentara, = A
Bancos ganham muito dinheiro = B
“Se as operações de crédito no País aumentam então os bancos ganham muito dinheiro” = AB.
“Se os bancos não ganham muito dinheiro então as operações de crédito no país não aumentaram”
~B~A
RESUMO – RACIOCÍNIO LÓGICO
A B AB
V V V
V F F
F V V
F F V
A ~A B ~B ~B~A
V F V F V
V F F V F
F V V F V
F V F V V
Conclusão: Verifique que AB é equivalente à ~B~A, possuindo a mesma tabela-verdade. Isso
ocorre nas condicionais. Necessitando haver a negação e a inversão das premissas.
Inversão de uma premissa disjuntiva:
“O Mano Menezes não é o técnico da seleção ou o Neymar é jogador da seleção.” Torna-se: “O
Neymar é jogador da seleção ou o Mano Menezes não é o técnico da seleção”.
~AvB vira Bv~A
Exercício: A afirmação “Não dirija após ingerir bebidas alcoólicos ou você pode causar um acidente de
trânsito” é, do ponto de vista lógico, equivalente à proposição “Se você dirige após ingerir bebidas
alcoólicas, então você pode causar um acidente de trânsito”.
“Não dirija após ingerir bebidas alcoólicos ou você pode causar um acidente de trânsito” = ~AvB
“Se você dirige após ingerir bebidas alcoólicas, então pode causar um acidente de trânsito” = AB
A ~A B ~AvB AB
V F V V V
V F F F F
F V V V V
F V F V V
Resposta: Verdadeiro, são equivalentes. Regra: ~AvB = AB.
Exercício: As proposições “Não precisa mais capturar sem digitar o código de barras” e “Não precisa
mais capturar ou digitar o código de barras são equivalentes”. Verdadeiro. Vejamos:
A proposição “Não precisa mais capturar sem digitar o código de barras” tem um apelido, o “sem” que
equivale a “e” como se a frase fosse: “Não precisa mais capturar e não precisa digitar o código de
barras”.
“A” = Capturar
“B” = Digitar o código de barras
Resultado = “~A^~B”
E na proposição “Não precisa mais caputrar ou digitar o código de barras” = “~(AVB).
Sabemos que a negação de disjunção ~(AVB) é dada por ~A^~B. Portanto, verdadeiro.
1.11. d
2. k