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 […]
Raciocínio lógico
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, […]
(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 […]
(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 2010 – Analista – Economia) Em uma sociedade, há 20% de pobres. Os negros são 50% da população, porém, são 80% dos pobres. Qual o percentual de pobres entre os negros? a) 32%. b) 40%. c) 50%. d) 60%. e) 80%. Solução: Gabarito: […]
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 […]
(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, […]