las proposiciones atómicas son aquellas que contienen una conjuncion
la lógica trivalente de j.lukasiewicz es una extension de la lógica bivalente
se hace uso de un signo en una expresión cuando este se representa así mismo
la semántica se encarga del orden de los signos
la desigualad x ≤ 5 es una forma proposicional molecular del tipo f(x) v g(x)
una forma proposicional en una variables es un predicado de un lugar
