Please enable JavaScript.
Coggle requires JavaScript to display documents.
2, Criador da Lógica Simbólica : Friedrich Ludwig Gottlob Frege ff, 2, 3,…
-
Criador da Lógica Simbólica : Friedrich Ludwig Gottlob Frege 
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Uma bi implicação consiste em uma implicação nas duas direções, ou seja: p <--> q, que é o mesmo que
(p<-q)^(q->p).
A tabela de verdade é uma tabela que apresenta os valores de verdades possíveis para proposições quaisquer, assim apresentando todos os valores possíveis entre os valores das proposições