Difference between revisions of "Exercícios de semântica formal para a Lógica Proposicional Clássica"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
Tag: 2017 source edit
Line 1: Line 1:
 
== Validade de sequentes ==
 
== Validade de sequentes ==
  
*
+
=== <math>\neg (r \leftrightarrow p) \RHD q \to \neg p</math>
  
 
== Correção de regras ==
 
== Correção de regras ==

Revision as of 15:48, 25 September 2020

Validade de sequentes

=== Failed to parse (unknown function "\RHD"): {\displaystyle \neg (r \leftrightarrow p) \RHD q \to \neg p}

Correção de regras

Para reflexão

Veja também

Links externos