Ahora sicomputemos

informacin
Tablas de Verdad

En Resumen
Una tabla de verdad, por medio de la funcin
de cada operador, nos da todos los valores
posibles
En la parte anterior solo analizamos a grandes
rasgos enunciados compuestos y atmicos
Ahora analizaremos el valor de un argumento,
es decir un conjunto de enunciados compuestos y
atmicos

Tipos de argumento:
Vlido: Argumento cuyo resultado en
verdadero en todos los casos
Tambin les llamamos tautologas

Invlido: Argumento cuyo resultado es falso

en al menos uno de los casos
De ser falso en todos los casos, le llamamos
contradiccin
De ser falso en algunos casos, le llamamos
contingencia

Construyendo la Tabla
2n (En este caso son 4 casos posibles por ser 2 variables)
Listar los valores de verdad bajo las variables

I.
II.
I.

Computar operadores negativos, de haberlos inmediatamente

enseguida de las variables

q)

(p

q)

*Aun no hay informacin suficiente

III. Computar valorespero, Dnde empezar?Qu orden

seguir?

Operador Lgico Principal

Operador que une al argumento; operador
que tiene dominio sobre otros operadores y
variables
El operador lgico principal nos dar
el orden de operacin, es decir, nos
Ej.: (p q) q
indicar donde empezar a computar
premisa
(enunciado
compuesto)

conclusin
(enunciado
atmico)

OLP
(operador lgico principal)
Une la premisa contenida en
parntesis con la conclusin

valores
Los valores listados bajo el OLP nos
darn el resultado final del argumento
En este caso, el OLP es esto
significa que ah finalizaremos la
operacin
Iniciaremos en el Operador Lgico
Secundario, OLS, seguido de la
conclusin y terminaremos con

Reconociendo el OLP, OLS, etc..

( p q ) ( p q ) OLP: operador lgico principal;
ltimo valor a calcular

OLS

OLT

OLS

OLS
OLP

{( p q ) r} q
OLT
OLS
OLP

OLT

OLS: operador lgico secundario;

penltimo valor a calcular

OLT: operador lgico terciario;

antepenltimo valor a calcular
Etc

Identificamos el rol de los

operadores con respecto a su
posicin y dominio; identificamos
su dominio con respecto a los
parntesis

Orden de operacin
Ya una vez que:
I. 2n
II. Listamos los valores lgicos
I.

Computamos los operadores negativos

III. Identificamos el OLP, OLS, etc

Entonces

IV. Computemos valores de verdad

V. Identifiquemos el tipo de argumento

Computemos
( p
F V
F V
V F
V F

q)
F F V
F V F
F F V
V V F

Computamos en
base al operador

(verdadero solo cuando

ambos valores son
verdaderos

V
V
V
V

(p
F V
F V
F F
V F

Y para finalizar,
en base a
(verdadero cuando los
valores son igual, falso
cuando son distintos

q)
V V
V F
V V
F F

Invertimos
valores en
base a

En los 4 casos bajo

el OLP el argumento
es verdadero, por lo
tanto, el argumento
es vlido

Computamos en base
al operador
(verdadero cuando al menos
1 valor es verdadero, falso
cuando ambos son falsos)

Analizando
En el caso pasado obtuvimos un argumento
vlido, pero puede ser el caso que el
argumento sea invalido
Es de suma importancia realizar la tabla
cuidadosamente, ya que con un solo error, el
argumento puede quedar mal computado
Ahora computemos un argumento diferente

Un argumento invlido
(p

q)

Computamos en
base al operador

Computamos
en base al
operador

Iniciamos con 2n, en este

argumento son 4 casos
Listamos los valores bajo las
variables
Identificamos el OLP en este
caso el segundo , esto nos
indica que iniciaremos con el
primer
Computamos valores en el
orden ya analizado
En este caso el
argumento es invalido
ya que solo en 2 casos
es verdadero; por
tener 2 casos falsos es
un argumento
contingente

Actividad
En los siguientes argumentos:
1.
2.
3.

identifica el OLP, OLS, OLTetc

Construye la tabla de verdad
Identifica el tipo de argumento resultante

a)
b)
c)
d)
e)
f)

(p q) r
(p q) (pq)
(p q) q
{(p q) (r s)}
{(p q) p} q
{(p q) q} p

Siguiente Clase
Aprenderemos un nuevo mtodo para analizar
la validez o invalidez de un argumento:
Deduccin Natural
Para esto introduciremos nuevas reglas y
nuevos conceptos