Diferenças entre edições de "Conjunção lógica"

843 bytes removidos ,  11h12min de 16 de setembro de 2014
(Marcação não removida de PE já finalizada)
* <math>a \and \left( b \or a \right) \equiv a</math>
* <math>a \and \left( b \or c \right) \equiv \left( a \and b \right) \or \left( a \and c \right)</math> ([[distributividade|distributiva]] em relação à [[disjunção lógica]])
 
== "E" e "mas" ==
Um assunto da lógica e da linguagem menos comentado é a regra da palavra "mas". Logicamente, a sentença "está chovendo, mas o sol está brilhando" é equivalente a "está chovendo e o sol está brilhando", então logicamente, "mas" é equivalente a "E". Entretanto, como demonstrado pela sentença precedente, "mas" e "E" são semanticamente distintos. A sentença anterior sugere que a última sentença é geralmente um contradição.
 
Uma forma de resolver esse problema de [[correspondência entre a lógica simbólica e a linguagem natural]] é observar que a primeira sentença (que usa "mas"), implica a existência de uma suposição escondida mas confundida, saber que o sol não brilha quando chove. Essa implicação captura a diferença semântica "E" e "mas" sem se perturbar com sua equivalência lógica.
 
== Ver também ==
59 779

edições