Las proposiciones se dividen en 2 grupos: simples y compuestas. Como las frutas: una manzana sola es simple y un jugo de varias frutas es compuesto. En lógica la pregunta para clasificar es solo una: ¿tiene pegamento o no?

Una proposición es una oración que puede ser verdadera (V) o falsa (F), sin punto medio. Usamos una variable proposicional como p, q o r para representar una proposición simple. Usamos un conectivo lógico como pegamento para unirlas: no, y, o, si... entonces..., si y solo si. Las simples o atómicas no tienen ningún conectivo y expresan una sola idea, como p: Lima es la capital del Perú. Las compuestas o moleculares tienen al menos 1 conectivo y su valor depende de sus partes.

Hay 6 tipos principales de compuestas: negación (~) con no, conjuntiva (∧) con y, disyuntiva inclusiva (∨) con o, disyuntiva exclusiva (Δ) con o... o pero no ambas, condicional (→) con si... entonces..., y bicondicional (↔) con si y solo si. La negación es la única compuesta que se forma con 1 sola proposición. Para clasificar, primero verifica que sea proposición, luego busca el conectivo y finalmente separa las partes simples para escribir su forma lógica, como p → q para Si estudias, entonces aprobarás.