lógica proposicional
por laura tovar
1. Es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos.
2. Es una oración o enunciado al cual se le puede asignar un valor de verdad y del cual puede determinarse su valor de verdad como verdadero o falso. Toda proposición se nota mediante letras minúsculas, por lo general p, q, s, t.
3. Son aquellas que se conforman por dos o más proposiciones simples unidas por alguno de los conectores lógicos.
3.1. Ejemplos: ● p q: Los números pares son divisibles por dos y los impares no. ● p v q: Hoy es lunes o es martes.
4. conectores lógicos
4.1. Un conector lógico es un símbolo o una palabra que se utiliza para conectar dos o más proposiciones bien formadas, de modo que el valor de verdad de la proposición compuesta depende del valor de verdad de las proposiciones que la compone.
4.1.1. Negación Es un elemento lógico que actúa independientemente de la proposición. Se lee no p. REGLA.- La negación de una proposición verdadera es falsa. La negación de una proposición falsa es verdadera. Ejemplo: p.- Juan conversa -p.- Juan no conversa