REGLAS DE INFERENCIA
Definicion.-se llama reglas de inferencia a todo argumento universalmente correcto (o formas correctas de razonamiento) que representan metodos generales de razonamiento valido
REGLAS DE INFERENCIA
Definicion.-se llama reglas de inferencia a todo argumento universalmente correcto (o formas correctas de razonamiento) que representan metodos generales de razonamiento valido
CIRCUITOS LOGICOS
Un circuito, con un interruptor, puede estar "abierto" o " cerrado". Cuando el interruptor está abierto no permite el paso de corriente, mientras que cuando está cerrado sí lo permite. Si asociamos una proposicion a cada interruptor, intuitivamente, vemos que en el álgebra de circuitos la V de tal proposicion indica el interruptor cerrado y F el interruptor abierto. Así, el circuito lógico que representa a una proposicion p es:
SIMPLIFICACION DE FORMULAS PROPOSICIONALES
Se trata de transformar una fórmula proposicional en otra equivalente a ella pero lo mas reducida posible. Para lo cual se debe usar oportuna y correctamente las leyes logicas. Así mismo, deben especificarse en cada paso la ley o leyes que fueron utilizados.
LEYES LOGICAS
1.- ley de impotencia
PʌPΞ P ; PvPΞ P
2.- Ley conmutativa
pʌqΞ qʌp ; pvqΞ qvp
3.- Ley asociativa
pʌ(qʌr)Ξ (pʌq)ʌr
pv(qvr)Ξ (pvq)vr
4.-Ley de negación
̴( ̴p)Ξ p
pʌ ̴pΞ F ; pv ̴pΞ V
5.- Ley de identidad
P ʌ VΞ P ; pvFΞ P
6.- Ley de Morgan
̴(pvq)Ξ ̴pʌ ̴q
̴(pʌq)Ξ ̴pv ̴ q
7.- Ley de implicación
p→qΞ ̴pvq
8.-Ley distributiva
pʌ(qvr)Ξ(pʌq)v(pʌr)
pv(qʌr)Ξ(pvq)ʌ(pvr)
9.-ley de absorción
pʌ(pvq)Ξp p ʌ FΞ F
pv(pʌq)Ξp pvVΞ V
10.- definición de doble implicación
P↔qΞ (p→q)ʌ(q→p)
LOGICA MATEMATICA
DEFINICION.-
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido.
La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física.
En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto.
En las matemáticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones.
En la computación para revisar programas.
En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico.
Clases de proposiciones
Hay dos clases de proposiciones:
Proposiciones simples y compuestas, también llamadas atómicas y moleculares respectivamente.
También denominadas atómicas. Son aquellas proposiciones que no se pueden dividir.
Ejemplo:
El cielo es azul. (verdadero)
Nomenclatura: p
También denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos.
Ejemplo:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.
Si el miércoles próximo me saco la lotería entonces te regalaré un auto.
Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada proposición molecular.
Conectivos lógicos más empleados son:
Negación "~"
Es un elemento lógico que actúa independientemente de la proposición.
Se lee no p. "~p"
REGLA.- La negación de una proposición verdadera es falsa. La negación de una proposición falsa es verdadera.
Ejemplo:
p.- Juan conversa
-p.- Juan no conversa
P |~P
V | F
F | V
CONJUNCION
Es la unión de dos o más proposiciones mediante el conectivo lógico “y”, “pero”, “también”, “sin embargo”, “además”, etc.
Se lee p y q.
REGLA.- Es verdadera la proposición conjuntiva únicamente cuando las dos proposiciones son verdaderas (p y q), en cualquier otro caso es falsa.
Ejemplo:
P: La casa está sucia.
Q: La empleada la limpia mañana
P Q: La casa esta sucia y la empleada la limpia mañana
p|q p^q
v|v v
v|f f
f |v f
f |f f
DISYUNCION
Une proposiciones mediante el conectivo lógico “o”.
Se lee p o q.
REGLA.- Una proposición disyuntiva es verdadera cuando por lo menos uno de sus componentes es verdadero. Es falsa sólo cuando todos sus componentes son falsos (p o q).
P: Pedro juega básquet
Q: María juega fútbol
PvQ: Pedro juega básquet o María juega fútbol.
p q pvq
v v v
v f v
f v v
f f f
Conjunción Negativa
Es la unión de dos o más proposiciones por “no”.
Se lee no p no q.
q ~q
v f
f v
REGLA.- El resultado es verdadero únicamente cuando las dos proposiciones son falsas (ni p ni q), en cualquier otro caso es falsa.
IMPLICACION
Viene a ser la combinación de dos proposiciones con “si… entonces”.
Se lee si p entonces q.
REGLA.- Una proposición condicional es falsa cuando la primera proposición es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras formas
Ejemplo:
P:Si me saco la loteria
Q: Te regalaré un carro
P Q: Si me saco la lotería entonces te regalaré el carro.
p q p→q
v v v
v f f
f v v
f f v
DOBLE IMPLICACION
Es la unión de dos proposiciones por “si y sólo si”. Se lee p si y sólo si q.
REGLA.- Una proposición bicondicional es verdadera cuando, o sus dos componentes son verdaderos o sus dos componentes son falsos.
Ejemplo
P: Simón Bolivar vive
Q: Montalvo está muerto
P Q: Simón Bolivar vive si y solo si Montalvo.
p q p←→q
v v v
v f f
f v f
f f v
DISYUNCION EXCLUSIVA
Se llam disyunción exclusiva de dos proposiciones, p y q a la proposicon que se obtiene uniendolas por medio del contenido "o "
REGLA .-la disyunción exclusiva de dos porposicones es falsa cuando las dos proposiciones componentes tienen el mismo valor de verdad o en otro caso es de verdad
p q pv_q
v v f
v f v
f v v
f f f