Logica Simb Lica

Lógica Simbólica

Prof. Pedro Lalondriz

LOGICA
Ciencia que trata de plantear y
resolver los problemas mediante el
uso de un lenguaje constituido por
símbolos de tipo algebraicos.
El objetivo de lalógica es estudiar
la validez de los razonamientos.

DIVISION DE LA LOGICA
lógica
Lógica formal simbólica o
matemática
Lógica
Lógica aplicada

CONCEPTOS BASICOS:
JUICIO
Es el acto mental por mediodel cual
pensamos algo.
RAZONAMIENTO
Proceso mental mediante el cual
obtenemos conclusiones partiendo de
declaraciones dadas previamente.

ENUNCIADO
Conjunto de símbolos por medio de los
cualesexpresamos lo pensado en un
juicio ya sea en forma oral o escrita.
Con valor de verdad
Con sentido Sin valor de verdad

Abierto
Enunciados

Sin sentido

VALOR DE VERDAD
DE UN ENUNCIADO
Es la verdad ofalsedad
del mismo.
ENUNCIADOS
SIN VALOR DE VERDAD
Son enunciados que carecen de valor
de verdad, esto es, no les podemos
asignar un valor de verdad.

ENUNCIADOS ABIERTOS
Son aquellos en que su valor
deverdad dependerá del
contexto o del conjunto de
reemplazamiento en otros
casos.

FORMA PROPOSICIONAL
Es la simbología que se convierte en proposición
al reemplazarla por una proposición específica.AXIOMAS O POSTULADOS
Proposiciones que suponemos verdaderas.
TEOREMA
Proposición verdadera cuyo valor de verdad debe
ser demostrado.

PROPOSICIONES SIMPLES,
ELEMENTALES O ATOMICAS
Son las que estáncompuestas por una
sola proposición.
PROPOSICIONES COMPUESTAS
O MOLECULARES
Son las que constan de dos o más
proposiciones simples enlazadas por
ciertas partículas lógicas llamadas
conectivas.CONECTIVOS LOGICOS,
CONECTORES O PARTICULAS
CONECTIVAS
Son las expresiones o elementos
que sirven para unir las
proposiciones simples formando de
esta manera las proposiciones
compuestas, esto es, relacionanlas
proposiciones simples.

CONECTIVO
…y…

SIMBOLO

Conjunción



...y/o…


O…o…


Si…entonces…
…si y solo si…
No

NOMBRE





~

Disyunción
inclusiva
Disyunción
exclusiva
Implicación
Doble...