Logica simbolica
cristina311089Ensayo17 de Mayo de 2021
761 Palabras (4 Páginas)203 Visitas
LOGICA SIMBOLOCA
La lógica simbólica se define como la ciencia del razonamiento dará distinguir el correcto del incorrecto, en esta se emplea la matemática para darle exactitud y rigor.
En la lógica matemática se emplea el pensamiento para entender causa y efecto, se utiliza la habilidad para resolver operaciones complejas.
Valor de los símbolos especiales
Los símbolos especiales de la lógica nos permiten exponer u observar con mayor claridad el uso y manejo real de las preposiciones y razonamientos
PROPOSICIONES
Las proposiciones son enunciados que pueden ser verdaderos o falsos, pero nunca ambos a la vez, estas son la base para la formulación de cualquier teoría básica. Existen 2 tipos de proposiciones: simples y compuestas.
Las preposiciones simples son las que no llevan ningún conector o termino de enlace.
Las proposiciones compuestas son las que llevan por lo menos un conector enlazando dos proposiciones simples.
TABLAS DE VERDAD
En la tabla de verdad se desglosa el valor de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
Proposición tautológica es la proposición compuesta que es verdadera en todos los casos, independientemente del valor de verdad en las preposiciones simples
Proposición contradictoria es donde la proposición compuesta será falsa en todos sus casos independientemente del valor de verdad en sus proposiciones simples
Proposición indeterminada es donde la proposición compuesta puede ser verdadera o falsa dependiendo del valor de verdad en las preposiciones simples.
NEGACION DE PROPOSICIONES
En cualquier enunciado que se escriba con “no es verdad que…” o “es falso que...” antes de la proposición, esta misma se está negando.
CONJUNCIÓN
p | q | pΛq |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
La conjunción es el conector entre dos enunciados este se muestra cómo “y”; estos al mezclarse se denomina enunciado compuesto o conjuntivos. Una conjunción es verdadera si solo ambos componentes lo son, si un enunciado es falso o ambos la conjunción es falsa, como lo indica la tabla.
DISYUNCION
p | q | pVqv |
V | V | V |
V | F | V |
F | V | V |
F | F | F |
La disyunción es el conector entre dos enunciados simples y se muestra con “o”, este al conectar dos proposiciones indica que al menos una de ellas es verdadera. En la disyunción la proposición compuesta será verdadera si una de las proposiciones simples es verdadera, como lo indica la tabla.
ENUNCIADOS CONDICIONALES
Si se combinan dos enunciados anteponiendo la palabra “si” resultara un enunciado condicional, la primera preposición es llamada antecedente y la que queda después de la condicional se la llama consecuente
BICONDICIONALES
La expresión “si o solo si” es el conector entre dos enunciados e indica el valor verdadero de ambas, ya sea falso o verdadero
FORMAS DE ENUNCIADOS Y LOS ENUNCIADOS
Son las formas del enunciado sus símbolos y como se llamaría al enunciado compuesto
Conjunción | p Λ q | Forma de enunciado conjuntiva |
Negación | ~p | Forma de anunciado negativo |
disyunción | p V q | Forma de enunciado disyuntiva |
Condicional | p → q | Forma de enunciado condicional |
Bicondicional | p ↔ q | Forma de enunciado bicondicional |
...