Una proposicion es una oracion de la cual podemos decir si es verdadera o no, debe ser una descripcion definida que se pueda decir que es falsa o verdadera.

la oraciones interrogativas, las exhoratativas o imperativas, las desiderativas y las exclamativas no son ejemplos de proposiciones, ya que estas no nos afirman niegan algo.

la pseudoproposisiones son falsas por lo que no tienen sentido y las funciones proposicionales no les podemos dar un juicio de valor falso o verdadero.

CLASES DE PROPOSICIONES

Atomicas:( simples o elementales)

careces de conjunciones.

• 
  
  predicativas: constan de sujeto y predicado
• 
  
  relacionales: constan de dos o mas sujetos vinculados entre si

Moleculares: (compuestas o coligativas)

constan de alguna conjuncion

• 
  
  conjuntivas: conjuncion (y)
• 
  
  disyuntivas: (o)
• 
  
  condicionales: (si...entonces...)
• 
  
  bicondicionales: (si...y solo si...)

LENGUAJE FORMALIZADO

Simbolos: variables proposicionales y operadores logicos

TABLA DE VERDAD