Conectivas lógicas

Vista previa del material en texto

LOGICA
BOL 2
● Valor de los signos especiales:
Nos permite expresar con mayor claridad las estructuras lógicas de las proposiciones y razonamientos cuyas
formas puedan resultar oscurecidas por la pesadez del lenguaje ordinario nos ayuda a comprender el uso
y manejo real de enunciado y razonamiento, permitiendo así una evaluación.
● Concepto de proposición:
Conjunto de palabras y símbolos que forman oraciones , con el requisito de expresar una idea en la lógica
proposicional, el enunciado se expresa mediante letras ( p,q,r,s, etc) y estas son llamadas variables o
constantes logicas( debido a que su uso no cambia ni modifica de ningún modo la oración o proposición)
● La fórmula proposicional:
Expresión simbólica compuesta por variables proposicionales, conectivas o signos lógicos y símbolos
auxiliares.
● Formulas atómicas y moleculares:
ATOMICAS: están formada por sola variable, es verdadera si la acción que se enuncia está ocurriendo en el
mismo momento.
MOLECULARES: están formadas por dos o mas variables unidas por medio de conectores logicos, es el
resultado de una combinación de conectivas diádicas (conexión).
Implicación formal: es la relación de una causa con un efecto.
Equivalencia: tiene el mismo contenido lógico.
● Símbolo
Es lo que representa el signo como identidad de una realidad. Simple, un solo enunciado. Compuesto, 2
o varios enunciados que constituyen uno solo.
● Conectivas lógicas
Nos permiten relacionar las proposiciones.
Conjunción y- aunque-sin embargo- así como ( . )
P Q P.Q
V V V
V F F
F V F
F F F
Solo es verdadero en el caso de que sus componentes sean verdaderos, en el resto de los casos es
falso.
Negación No – ni – es falso (~)
P Q ~P ~Q
V V F F
F F V V
Se invierte los valores dependiendo en qué lugar estén, delante de una variable o de un paréntesis
cambiando su resultado.
Disyunción o – o lo uno o lo otro ( V )
P Q P v
Q
V V V
V F V
F V V
F F F
Es verdadero cuando al menos uno de sus componentes sea verdadero, va a ser falso cuando ambos
componentes sean falsos.
Condicional entonces- pero no – pero si – por lo tanto - luego ( ɔ ) 
P Q P > Q
V V V
V F F
F V V
F F V
Solo será falso en el caso de que su antecedente sea verdadero y su consecuente sea falso, en el resto de
los casos será verdadero.
Bicondicional si y solo si ( ≡ )
P Q P = Q
V V V
V F F
F V F
F F V
Solo es verdadero en el caso de que ambos componentes sean iguales, en el resto de los casos va a ser
falso.
● Matriz o resultado del ejercicio
Tautológica: cuando la matriz/resultado da completamente verdadero.
Contradictoria: cuando la matriz/resultado da completamente falso.
Contingente: cuando en el resultado aparecen ambos grados sin importar cuantos de cada uno.
● Verdad
Es el concepto que relaciona a las proposiciones hechos.
● Validez
Es la relación de los hechos con los argumentos. Como se
estructuran los hechos ¿Existen relación entre ellas?
Un argumento puede ser válido aún
Sus premisas no sean verdaderas.