ASPECTOS COMPLEMENTARIOS SOBRE LÓGICA PROPOSICIONAL

ASPECTOS COMPLEMENTARIOS SOBRE LÓGICA PROPOSICIONAL

• Dos proposiciones  y son Lógicamente equivalentes si  es una Tautología, es decir cuando tienen los mismos valores de verdad. Si  y son Lógicamente equivalentes se escribe: [pic 1][pic 2][pic 3][pic 4][pic 5][pic 6]
• Cuando una proposición tiene varios conectivos, primero actúan  ˅, ʌ, [pic 7]
• La Conjunción relaciona dos o más enunciados a través de términos como “y”, “sin embargo”, “pero”, “aunque”, “además. Ejemplos:

• Cali es la capital del Valle del Cauca y Medellín es la capital de Antioquia
• Ayer llovió sin embargo hizo mucho calor
• La tecnología ofrece grandes beneficios para la humanidad pero puede llegar a ser muy peligrosa para usuarios poco cuidadosos
• La vida es un regalo maravilloso aunque a veces nos presente pruebas retadoras
• La universidad del Valle ofrece a sus estudiantes una educación de Calidad además brinda otros servicios de bienestar estudiantil como complemento a su formación integral.

• Cuantificadores: son aquellos símbolos que se utilizan para indicar cantidad en una proposición, es decir, permiten establecer “cuántos” elementos de un conjunto determinado, cumplen con cierta propiedad. 

• Cuantificador existencial se utiliza para simbolizar expresiones que denotan una particularidad (existe al menos un….), ejemplo:   que se lee: Existe un  que pertenece a los Reales () tal que  es menor que 2[pic 8][pic 9][pic 10][pic 11]
• Cuantificador universal: se utiliza para simbolizar expresiones que denotan una generalidad (para todo….), ejemplo:  que se lee: para todo  que pertenece a los Reales () se cumple que  es menor que 2.[pic 12][pic 13][pic 14][pic 15]

• Negación de los Cuantificadores: las negaciones de los cuantificadores están dadas por las siguientes dos reglas:

• 1.  [pic 16]
• 2. [pic 17]

...