CONCEPTO DE PROPOSICIONES
De todas estas clases de oraciones la lógica sólo toma en cuenta las aseverativas, las únicas que pueden constituir proposiciones siempre y cuando tengan sentido de ser verdaderas o falsas.
CLASES DE PROPOSICIONES:
Hay dos clases de proposiciones:
- Proposiciones simples y compuestas, también llamadas atómicas y moleculares respectivamente.
a. Proposiciones Simples.- También denominadas atómicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo:
El cielo es azul. (verdadero)
Nomenclatura: p
b. Proposiciones Compuestas.- También denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplo:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.
Si el miércoles próximo me saco la lotería entonces te regalaré un auto.
EL LENGUAJE NATURAL Y EL LENGUAJE FORMALIZADO:
El lenguaje formalizado es el lenguaje utilizado en las actividades científicas. Sirve para formular conocimientos.
TIPOS DE PROPOSICIONES:
Tautología: es la sentencia que es verdadera.
Contradicción: es la sentencia que es falsa.
Indeterminación: es la sentencia que ni es verdadera ni falsa.
EQUIVALENCIA DE FORMULAS:
Definición: Dos fórmulas lógicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atómicos.
Ejemplo 2: Las dos fórmulas siguientes son equivalentes:
(p → ¬q) ∨ (¬p ∨ r) ¬p ∨ ¬q ∨ r
y la tabla
p | q | r | ¬q | ¬p | p → ¬q | ¬p ∨ r | (p → ¬q) ∨ (¬p ∨ r) | ¬ p ∨ ¬q | ¬p ∨ ¬q ∨ r |
V | V | V | F | F | F | V | V | F | V |
V | V | F | F | F | F | F | F | F | F |
V | F | V | V | F | V | V | V | V | V |
V | F | F | V | F | V | F | V | V | V |
F | V | V | F | V | V | V | V | V | V |
F | V | F | F | V | V | V | V | V | V |
F | F | V | V | V | V | V | V | V | V |
F | F | F | V | V | V | V | V | V | V |
donde se puede observar que la última yla antepenúltima columnas son iguales.
Las equivalencias se relacionan con las tautologías de la siguiente forma.
Teorema: Si dos fórmulas lógicas son eqivalentes entonces la fórmula que se obtiene al operarlas con la bicondiconal es una tautología.
La implicación es probablemente el concepto de lógica más utilizado por el ser humano, se usa en cualquier desarrollo matemático para indicar que un paso se obtiene de otro de manera correcta. Se utiliza para enunciar teoremas y propiedades, casi todas las propiedades se pueden enunciar utilizando la implicación. Es también muy utilizado en el razonamiento humano en ciencias sociales, filosofía, e incluso en la vida diaria casi todo mundo hace implicaciones constantemente. Sin embargo como se puede observar hasta ahora no se ha visto el concepto.
La implicación ⇒ de dos fórmulas lógicas es la condicional cuando dicha condicional es una tautología.
Con símbolos: A ⇒ B significa que A → B es una tautología.
O sea que para poder utilizar la implicación, A ⇒ B debemos estar seguros de que la expresión A → B es verdadera siempre.
Para Ludwig Wittgenstein, la tautológica se trata de una proposición que necesariamente es verdadera (A es = A), con independencia de que represente un hecho real o no. De este modo se acepta “a priori” (= previo a la experiencia) y sirve de premisa obvia.
Este tipo de verdades que no dependen de los hechos han sido consideradas de diversas maneras en la historia de la filosofía: verdad necesaria, verdad analítica, verdad de razón.
logica proposicional distrittal
0 comentarios:
Publicar un comentario