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.