Duas proposições são equivalentes quando têm a mesma tabelaverdade.
Com base nessas informações, julgue os itens a seguir.
A lógica formal representa as afirmações que os indivíduos fazem em linguagem do cotidiano para apresentar fatos e se comunicar. Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F) (embora não se exija que o julgador seja capaz de decidir qual é a alternativa válida). Para designar as proposições, usam-se freqüentemente as letras maiúsculas do alfabeto: A, B, C etc.
Na comunicação entre indivíduos, combinam-se proposições por meio de conectivos, como "e", indicado pelo símbolo v, e "ou", indicado por w, para formar proposições compostas mais complexas. Usa-se também o modificador "não", indicado pelo símbolo ¬, para produzir a negação de uma proposição. Proposições A e B podem ser combinadas na forma "se A, então B" &#...
Considerando todos os possíveis valores lógicos V ou F atribuídos às proposições A e B, assinale a opção correspondente à proposição composta que tem sempre valor lógico F.
Assinale a opção correspondente à proposição composta que tem exatamente 2 valores lógicos F e 2 valores lógicos V, para todas as possíveis atribuições de valores lógicos V ou F para as proposições A e B.
Texto para os itens de 36 a 45
A negação da proposição P é a proposição R: "Mário não pratica natação nem judô", cuja tabela-verdade é a apresentada ao lado.
Considerando a proposição "Nesse processo, três réus foram absolvidos e os outros dois prestarão serviços à comunidade", simbolizada na forma AvB, em que A é a proposição "Nesse processo, três réus foram absolvidos" e B é a proposição "Nesse processo, dois réus prestarão serviços à comunidade", julgue os itens que se seguem.
É correto inferir, após o preenchimento da tabela abaixo, se necessário, que a tabela-verdade da proposição "Nesse processo, três réus foram absolvidos, mas pelos menos um dos outros dois não prestará serviços à comunidade" coincide com a tabela-verdade da proposição simbolizada por ¬(A→B).
Julgue os itens seguintes, a respeito dos conceitos básicos de lógica e tautologia.
Se A, B, C e D forem proposições simples e distintas, então o número de linhas da tabela-verdade da proposição 
será superior a 15.
Considere que P, Q e R sejam proposições lógicas e que os símbolos 
e "¬" representem, respectivamente, os conectivos "ou", "e", "implica" e "negação". As proposições são julgadas como verdadeiras — V — ou como falsas — F. Com base nessas informações, julgue os itens seguintes relacionados a lógica proposicional.
A última coluna da tabela-verdade abaixo corresponde à proposição
Considere que P, Q e R sejam proposições lógicas e que os símbolos 
e "¬" representem, respectivamente, os conectivos "ou", "e", "implica" e "negação". As proposições são julgadas como verdadeiras — V — ou como falsas — F. Com base nessas informações, julgue os itens seguintes relacionados a lógica proposicional.
A última coluna da tabela-verdade abaixo corresponde à proposição
Ainda com base nas definições do texto, é correto afirmar que a proposição simbolizada por ((¬A)VB)
(AV(¬B)) possui os mesmos valores lógicos que a proposição simbolizada por
