Tipos de Proposições
As proposições podem ser classificadas conforme a relação entre seus elementos:
Categóricas: Simplesmente afirmam ou negam algo (Ex: "Todos os homens são mortais").
Condicionais: Estabelecem relações de consequência entre proposições usando "se... então". Uma proposição implica outra quando é impossível que a primeira seja verdadeira e a segunda falsa (Ex: "Se sou português, sou europeu").
Disjuntivas: Apresentam alternativas usando "ou", podendo ser inclusivas (Ex: "Estudarei filosofia ou matemática") ou exclusivas (Ex: "Ou vou ao cinema ou fico em casa").
Conjuntivas: Incluem ambos os conceitos relacionados através do "e" (Ex: "Estou na praia e a estudar").
Bicondicionais: Estabelecem simultaneamente condições necessárias e suficientes usando "se e somente se" (Ex: "Algo é água se e somente se é H₂O").
⚠️ Nas condicionais, a relação é de implicação, não de causa! "Se sou europeu, sou português" é falsa porque existem europeus não portugueses.