¿Qué son las proposiciones compuestas, en lógica?

Dos o más palabras se usan frecuentemente, ya que las preposiciones individuales son proposiciones compuestas.

Las preposiciones compuestas son muy comunes en inglés, particularmente en inglés escrito. Las preposiciones compuestas son extremadamente idiomáticas y deben aprenderse en contexto. Se requiere un largo estudio de sus aplicaciones y connotaciones antes de que cualquiera, de una cultura diferente que hable un idioma, pueda usarlas.

Los ejemplos son

  1. Según – (según lo establecido por, en la autoridad de). Según John, nadie disfrutó mucho de la fiesta. Según el meteorólogo, podemos esperar más clima frío esta semana.
  2. Delante de (antes, delante de). Deberías habernos dicho antes de tiempo que ibas a venir.
  3. Junto con (junto con). Tenemos que tomar educación física junto con todos los cursos académicos.
  4. al lado de (al lado, paralelo con). Aparqué mi coche junto a una camioneta gris.
  5. Aparte de. (separado de, considerado en separación de). Es una casa nueva, y se distingue de todas las demás casas en la calle debido a su tamaño.

Una proposición compuesta es una construida a partir de otras proposiciones usando conectivos lógicos.

Si [math] P [/ math] es una proposición y [math] Q [/ math] es una proposición, entonces puedes hacer varias proposiciones compuestas a partir de ellas, como

[math] \ quad P \ land Q: \ quad [/ math] P y Q

[math] \ quad P \ lor Q: \ quad [/ math] P o Q o ambos

[math] \ quad P \ Rightarrow Q: \ quad [/ math] P implica Q, también lee Si P entonces Q

[math] \ quad P \ Leftrightarrow Q: \ quad [/ math] P si y solo si Q

[math] \ quad \ neg P: \ quad [/ math] No P, también lea No es el caso que P

Puedes usar varios de ellos juntos también. Aquí está una de las leyes de De Morgan:

[math] \ quad \ neg (P \ land Q) \ Leftrightarrow \ neg P \ lor \ neg Q [/ math].