Considerando a proposição P “Se nesse jogo não há juiz, não há jogada fora da lei”, julgue os itens seguintes a cerca da lógica sentencial. 21) A negação da proposição P pode ser expressa por “Se nesse jogo há juiz, então há jogada fora da lei”. 22) A proposição P […]
Lógica Proposicional
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 […]
(VUNESP 2014) – DESENVOLVE SP – Contador Se o sino da igreja toca e minha avó o escuta, então minha avó vai para a igreja. Uma afirmação equivalente a essa, do ponto de vista lógico, é: a) Se minha avó não vai para a igreja, então o sino da igreja […]
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 – TCE/SP – 2017 – Agente da Fiscalização) Considere verdadeiras as afirmações I, II, III e falsa a afirmação IV. I. Se como, então não sinto fome. II. Não sinto fome ou choro. III. Se choro, então não sorrio. IV. Não sinto fome ou grito. A partir dessas afirmações, […]
(VUNESP – TCE/SP – 2017 – Agente da Fiscalização) Se a afirmação “Ou Renato é o gerente da loja ou Rodrigo é o dono da loja” é verdadeira, então uma afirmação necessariamente verdadeira é: a) Renato é o gerente da loja e Rodrigo é o dono da loja. b) Renato […]
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 […]
(UFMG 2010 – Assistente de Administração) Considere as premissas: • Andrea não é loira ou Paula é alta. • Paula não é alta ou Carla é baixa. • Paula é alta ou Carla é baixa ou Andrea é loira. • Andrea é loira ou Carla não é baixa. A partir […]
(TCE/SP – 2015 / FCC) Considere verdadeiras as afirmações: − Daniel não bebe cerveja. − Se André prefere doces, então Bernardo bebe água. − Se Caio gosta de feijoada, então Daniel bebe cerveja. − Bernardo bebe água ou Caio gosta de feijoada. A partir dessas afirmações é possível concluir, corretamente, […]
(PREF. DE GOIANIA – Auditor de Tributos – CSUFG/2016) Considere verdadeira a informação “se a empresa A dobrar seu capital então a empresa B vai triplicar o seu capital”, e falsa a informação “a empresa A vai dobrar o seu capital e a empresa B vai triplicar seu capital”. Nessas […]
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, […]