Smbolos lgicos (constantes):JUNTORESFuncinJuntorSignoNegacinNegador, , ~ (no; no es cierto)ConjuncinConjuntor^, ., &(y; pero)DisyuncinDisyuntorv(o; o lo uno o lo otro)ImplicacinImplicador o , (si.entonces)o CondicionalCondicionadorMaterialCoimplicacin oCoimplicador o, (si y slo si)BicondicionalBicondicionadorMaterialSmbolos no lgicosLetras enunciativas/proposicionales:p, q ,r, s ,t,......., p1, q1, r1, s1, t1,...........Letras metalingsticas:A,B,C,D,.......Smbolos auxiliaresParntesis:(, )Veamos cmo podemos representar la forma lgica de diferentes proposiciones.Florencia est comiendo pFlorencia est comiendo o estudiando p v qSi estudian mucho para el parcial pqentonces van a aprobarSi estudian mucho para el parcial entonces p ( q . r )van a aprobar y promocionar la materia.No estudi y no aprob - p . -q