Décio, Pois é, está. O verbete inteiro é muito engraçado, e por isso recomendo a leitura. Mais um exemplo:
"As letras minúsculas *p*, *q* e *r*, em fonte itálica, são convencionalmente usadas para denotar proposições: p: 1+2=3 Esta declaração define que *p* é 1 + 2 = 3 e que isso é *verdadeiro*. Duas proposições -- ou mais proposições -- podem ser combinadas por meio dos chamados *operadores lógicos<http://pt.wikipedia.org/wiki/Operadores_l%C3%B3gicos> * binários <http://pt.wikipedia.org/wiki/Bin%C3%A1rios>, formando * conjunções <http://pt.wikipedia.org/wiki/Conjun%C3%A7%C3%A3o_l%C3%B3gica>*, *disjunções <http://pt.wikipedia.org/wiki/Disjun%C3%A7%C3%A3o_l%C3%B3gica>*ou *condicionais <http://pt.wikipedia.org/wiki/Condicional_material>*. Essas proposições combinadas são chamadas *proposições compostas*. Por exemplo: p: 1 + 1 = 2 *e* Neste caso, *e* é uma conjunção<http://pt.wikipedia.org/wiki/Conjun%C3%A7%C3%A3o_l%C3%B3gica>. As duas proposições podem diferir totalmente uma da outra!" _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
