Regla de inferencia

En lgica, una regla de inferencia es un esquema para construir inferencias vlidas. Estos
esquemas establecen relaciones sintcticas entre un conjunto de frmulas
llamados premisas y una asercin llamada conclusin.
Estas relaciones sintcticas son usadas en el proceso de inferencia, por el que se llega a
nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas tambin se aplican a
la lgica informal y a las discusiones, pero la formulacin es mucho ms difcil y polmica.
Como se mencion, la aplicacin de una regla de inferencia es un procedimiento puramente
sintctico. Sin embargo, debe tambin ser vlido, o mejor dicho, preservar la validez. Para que
el requisito de preservacin de la validez tenga sentido, es necesaria una cierta forma
semntica para las aserciones de las reglas de inferencia y las reglas de inferencia en s
mismas.

DISYUNCIN

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente

los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas
lo son, y falso cuando ambas son falsas.

Tabla de verdad de la disyuncin

(Ir a 3.1.3 Tablas de Verdad)

p v q (se lee: p o q)
EJEMPLOS:
p = El numero 2 es par
q = la suma de 2 + 2 es 4
entonces
pvq: El numero 2 es par o la suma de 2 + 2 es 4

p = La raz cuadrada del 4 es 2

q = El numero 3 es par
entonces
pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente

los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

Tabla de verdad de la conjuncin

(Ir a 3.1.3 Tablas de Verdad)

p ^ q (se lee: p y q)
EJEMPLOS:
p = El numero 4 es par
q = Siempre el residuo de los nmeros pares es 2
entonces
p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es 2

p = El numero mas grande es el 34

q = El triangulo tiene 3 lados
entonces
p^q: El numero mas grande es el 34 y El triangulo tiene 3 lados

NEGACIN

La negacin es un operador que se ejecuta. sobre un nico valor de verdad,

devolviendo el valor contradictorio de la proposicin considerada.

Tabla de verdad de Negacin

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS
p: 4 + 4 es igual a 9
-p: 4 + 4 no es igual a 9

p: El 4 es un numero par
-p: El 4 no es un numero par

CONDICIONAL

El condicional material es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa,
yverdadero en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces
q, se representa por p q

Tabla de Verdad Condicional

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS
p: llueve
q: hay nubes

pq: si llueve entonces hay nubes

p: Hoy es mircoles
q: Maana ser jueves
pq: Si Hoy es mircoles entonces Maana ser jueves

BICONDICIONAL

El bicondicional o doble implicacin es un operador que funciona sobre dos valores

de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad difieren.

Tabla de Verdad Bicondicional

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS
p: 10 es un nmero impar
q: 6 es un nmero primo
pq: 10 es un nmero impar si y solo si 6 es un nmero primo

p: 3 + 2 = 7
q: 4 + 4 = 8
pq: 3 + 2 = 7 si y solo si 4 + 4 = 8