Este usuário é um sock puppet
do Wikilivros



Esta conta é um Sock Puppet do usuário Dante Cardoso Pinto de Almeida, e todas suas ações são responsabilidade dele. Como um Sock Puppet, essa conta não pode participar de votações e não pode ser eleita a nenhum cargo.

Currículo Lattes de Dante Cardoso Pinto de Almeida

Filomatia - Página sobre assuntos diversos como Filosofia, Matemática, Lógica, Programação etc.

Latex Lab

editar

 

Peirce Notation

editar

 

Conjunto das partes

editar

 

 

Provas por indução

editar
  •  
    • Para  

 

 


 

 

    • Hipótese:

 

 

 

 

 

 

 

 

 

 

 

 

 
  •  
    • Para  

 

 

 

    • Hipótese:

 

 

 

 

 

Teoria das Magnitudes

editar

Ax1.  

Ax2.  

Ax3.  

Def1.  

Def2.  



 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 



  1.  
  2.  
  3.  
  4.  
  5.  
  6.  
  1.  
  2.  


 
 

Fórmulas para os tablôs

editar
   
   
 
 
   
 
 



Regras derivadas

editar
  • Dupla Negação (DN)
 


  • Silogismo Hipotético (SH)
 
 
 


  • Repetição (R)
 


  • Modus Tollens (MT)
 
 
 


  • Prefixação (PRF)
 


  • Contraposição (CT)
 


  • Contradição (CTR)
 
 
 


  • Lei de Duns Scot
 


 


  • Leis DeMorgan
 


 

Latex Art Lab

editar

(\__/)
(O.o)
(> <)


 
 
 

Mr. Bunny Interested


 
 
 

 

Mr. Owl


 
 
 

Mr. Tortoise


 
 
 

Mr. Imp


 
 
 

Mr. Bunny Suspicious


 
 
 

Mr. Bunny Surprised


 
 
 

Mr. Bunny Addicted


 
 
 

Mr. Coala


 
 
 

Mr. Owl w\ Open Wings