Grupo-de-Estudos-em-Logica-da-UFRN / Para-Todxs-Natal

Projeto colaborativo de tradução e adaptação do livro de lógica Forallx
Creative Commons Attribution 4.0 International
13 stars 5 forks source link

Criar nova regra #21

Closed Rhalah closed 3 years ago

Rhalah commented 3 years ago

Para lógica modal

Regra RK:

\rk{m}

Rhalah commented 3 years ago

Feito.