Lógica Proposicional

17 posts

A negação da proposição “O presidente é o membro mais antigo do tribunal e o corregedor é o vice-presidente” é “O presidente é o membro mais novo do tribunal e o corregedor não é o vice-presidente”.   Autor: Prof. Fábio Matos “Aulas Particulares de Calculo, Física e Matemática” (11) 97226-5689 […]

A negação da proposição “Se João for eleito prefeito, demonstrará força política e disputará a eleição presidencial da República” é logicamente equivalente a “João é eleito prefeito, mas não demonstra força política e não disputará a eleição presidencial da República”.   Autor: Prof. Fábio Matos “Aulas Particulares de Calculo, Física […]

  A algebra das proposições é baseada nos conectivos “e” ()  e “ou” () pois estes dois conectivos apresentam propriedades muito interessantes e que são análogas às propriedades algébricas. É importante frisar que este paralelo com a álgebra serve só para aplicarmos as propriedades distributiva, comutativa, associativa e elemento neutro. Pois, […]

VI – Equivalências proprosicionais  Duas proposições compostas e são logicamente equivalentes se a afirmação é uma tautologia. Se e são logicamente equivalentes, escreve-se     uma outra notação frequentemente usada para duas afirmações logicamente equivalentes é o símbolo “” ,     Pode-se determinar se duas proposições compostas são logicamente […]

V – Tautologia, Contradição e Contingência  1. Tautologia A tautologia é uma função lógica que é sempre verdadeira  para quaisquer valores de suas variáveis proposicionais. Exemplo 1: Ou o político é ladrão ou o político não é ladrão. Temos duas proposições : O político é ladrão; : O político não é ladrão. […]

VUNESP 2014 – FUNDESP – Analista de redes pleno Considere verdadeiras as premissas I, II e III. Se Cláudio é médico, então Ana é advogada. Se Marcelo é professor, então Débora é dentista. Ana não é advogada ou Débora não é dentista. A alternativa que contém uma conclusão que pode […]

IV – Quantidade de linhas das tabelas verdade Uma questão que é, frequentemente, levantada quando se trabalha com tabelas verdade, é a partir de um determinado número de proposições simples que compõe uma função lógica, qual será a quantidade, máxima, de linhas da tabela verdade de tal função lógica. Podem […]

III – Tabela verdade dos conectivos lógicos  Conjunção (e): A conjunção de duas sentenças e , escritas na forma de lógica proposicional como , será verdadeira se ambas, e , forem verdadeiras, e será falsa se ou for falsa ou se ambas forem falsas. O significado do operador “” pode […]

II – Proposições compostas e conectivos lógicos  As proposições são, geralmente, simbolizadas por letras do alfabeto. Faremos aqui o uso das letras e para simbolizar proposições, no entanto, pode-se fazer uso de qualquer letra. : Brasília é a capital do Brasil. : Moscou é a capital da França. As duas […]

Como o nome sugere, lógica proposicional é um ramo da lógica matemática que estuda as relações lógicas entre proposições (ou declarações, sentenças, e afirmações) tomadas como um todo, e via conectivos lógicos. A lógica proposicional é também conhecida pelos nomes lógica sentencial, cálculo proposicional e cálculo sentencial. É importante em uma variedade de campos, […]