Questão 6Se P, Q, R e S forem proposições simples, então as proposições P v R → Q ^ S e (~Q)v (~S) → (~P) ^ (~R) serão equivalentes.1 pontoCertoErrado

23. El esquema ~(pq)^~ p es equivalente a: a) (p+q)^~p c)~(~q-p) ^~ p e) ~[~(pq) →p] b) ~[-p~(pq)] d) ~[~(pq) V p] Son ciertas: i) a, b, d ii) b, d, e iii) b, c, e iv) a, c, d v) Todas.

1) Construa a respectiva tabela-verdade e identifique se as sentenças sãoequivalentesp ⟶ q ⇔ ~(p ∧ ~q)~p ⟶ ~q ⇔ ~(p ∧ q)p ⟶ ~q ⇔ (p ∧ q)~p ⟶ ~q ⇔ (p ∧ q)p ⟶ q ⟹ ~(p v ~q)~(p v ~q) ⟹ p ⟶ q~p ⟶ q ⟹ ~(~p v q)

5. Para a construção da tabela verdade, devemos calcular o número de linhas necessárias para a construção da tabela em questão. O número de linhas é calculado pela representação e 2 na base n (2n), em que n representa o número de preposições do problema.A proposição a ser avaliada será ( p ^ q ) v (~r ); assim, teremos três preposições: p, q e r. Aplicando 2n, teremos 23, que é representado por 2 x 2 x 2 = 8, ou seja, 8 linhas são necessárias para a construção da tabela verdade para a proposição ( p ^ q ) v (~r ).Para facilitar a resolução da expressão, a tabela construída abaixo normalmente é necessária. Considerando os conectivos lógicos usuais ~, ^ e v e as proposições lógicas p, q e r, analise e preencha a tabela apresentada para 23 proposições, nas quais a coluna correspondente à proposição (p ^ q) v (~r ) conterá somente os valores V para Verdadeiro e F para Falso.Para auxiliar e facilitar a avaliação da expressão, quebre em partes; primeiro, deverão ser resolvidas as expressões entre os parênteses mais internos. A ordem para o problema proposto será:Análise 1 – resolva (p ^q)Análise 2 – resolva (~r)Análise 3 – resolva Resultado Análise 1 V Resultado da Análise 2. Assim, teremos o resultado da expressão (p ^ q) v (~r) que será preenchido na tabela a seguir.Considerando a valoração de cima para baixo e na sequência, defina a tabela verdade apresentada acima para a proposição (p ^ q) v (~r) e assinale a alternativa correta de valoração.A. V-V-F-V-F-V-F-V.B. V-V-V-V-V-V-V-V.C. F-F-F-F-F-F-F-V.D. F-F-V-F-V-F-V-F.E. F-F-F-V-V-F-V-F.

Using laws of logic prove that following are equivalenti)~ ( ) and ~ p q p q → 

Para dar seguimiento a la sección anterior, ¿cuál es la expresión de Qf para el mismo ciclo de Carnot?a.n Cv (Tc - Tf)b.n R Tf Ln(V4/V3)c.n R T Ln(V4/V2)d.n Cv (Tf - Tc)e.n R Tf Ln(V2/V1)