LOGICA
Son estructuras de funcionamiento lógico A,B
Funciones lógica: El operador es un unificador que une las proposiciones y trabajar
A:And→Y:A
Proposiciones: Es toda expresión de la cual se le puede decir s es verdadera o falsa. Es toda expresión que tiene una verdadera.
Ej. El día está caluroso
Se representan con letras con: P,r,q,s,t
P
|
^
|
Q
|
V
|
V
|
V
|
V
|
F
|
F
|
F
|
F
|
V
|
F
|
F
|
F
|
: Es el número de proposiciones
: 82
Operador Y o And: El valor de verdad es V si son verdad de lo contrario es falso.
P: Hoy llueve
Q: Hace frio
2do Operador OR-O→V: EL operador O es falso si solo si las dos proposiciones son falsas al mismo tiempo, en los demás casos es verdadero.
p
|
^
|
q
|
V
|
V
|
V
|
V
|
V
|
F
|
F
|
V
|
V
|
F
|
F
|
F
|
Operadores:
- Negación→No→˜
p
|
˜P
|
V
|
F
|
F
|
V
|
˜(V):F
˜(F):V
B) Implicación:Condicional→ =>
P
|
q
|
V
|
V
|
V
|
F
|
F
|
V
|
F
|
F
|
La implicación de dos proposiciones es falsa, solamente cuando el antecedente es verdadero y el consecuente es falso, en otro caso es verdadero.
P
|
=>
|
q
|
V
|
V
| |
V
|
F
| |
F
|
V
| |
F
|
F
|
Construir la tabla de verdad de:
[(˜P→q)^˜q)]→P
P
|
q
|
˜P
|
˜q
|
[(˜P→q)^˜q)]→P
| ||
V
|
V
|
F
|
F
|
V
|
F
|
V
|
V
|
F
|
F
|
V
|
V
|
V
|
V
|
F
|
V
|
V
|
F
|
V
|
F
|
V
|
F
|
F
|
V
|
V
|
F
|
F
|
V
|
Cuando todo es verdadero se llama: Tautología
SI saliera F es una contingencia
Una contingencia es cuando no tiene todo V ni todo F
Lógica Matemática:
Definición: La lógica es la disciplina que trata de métodos, modos y formas de razonamiento humano. Ofrece reglas técnicas para determinar si un argumento es válido o no.
Una de las metas y objetivos de la lógica es eliminar la ambigüedad de un lenguaje ordinario, introduciendo símbolos y conectivos lógicos en la construcción de proposiciones.
Comentarios
Publicar un comentario