[Lógica Matemática: Equivalências Notáveis]

Sejam [tex]p[/tex], [tex]q[/tex] e [tex]r[/tex] proposições quaisquer. Demonstre que subsiste a seguinte equivalência:

[tex]p \land q \rightarrow r \Longleftrightarrow p \rightarrow \left(q \rightarrow r\right)[/tex]

denominada Regra de Exportação-Importação.

***
Obs. 1: Com base na ordem de precedência usual, a conjunção realiza-se antes da condicional.
Obs. 2: Pode-se realizar a demonstração por qualquer método, via tabela-verdade ou regras de equivalência.
Obs. 3: Respostas copiadas do ChatGPT serão sumariamente denunciadas.
Please enter comments
Please enter your name.
Please enter the correct email address.
You must agree before submitting.

Lista de comentários


Helpful Social

Copyright © 2024 ELIBRARY.TIPS - All rights reserved.