Clase 1 Lógica

Proposiciones
Operaciones entre proposiciones

Tablas de verdad
Relaciones entre proposiciones
Leyes del algebra de proposiciones
Reglas de inferencia logica

Funciones proposicionales y Cuantificadores
Logica
Proposicional
Sergio Stive Solano Sabie
Marzo de 2012
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Logica
Proposicional
Sergio Stive Solano Sabie
Marzo de 2012
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Proposiciones
1.1
Definicion
es una oracion
declarativa
(o declaracion)
Una proposicion
que es verdadera o falsa, pero no ambas.
Comunmente
se denotan con las letras minusculas
p, q, r, s, t, . . .,
las cuales reciben el nombre de letras o variables proposicio

nales, de esta forma, el lenguaje proposicional se hace mas
simple y exacto que el lenguaje natural.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Proposiciones
Ejemplo 1.1
Los siguientes ejemplos ilustran como

se pueden simbolizar
las proposiciones:
1
p : Hoy es sabado.
2
q : Estudio ingeniera de sistemas.
r : New York es llamada la capital del mundo.
s : 1 no es un numero
primo.
t : 4 + 3 = 10.
v:3>5
w : El sol es amarrillo
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Proposiciones
Ejemplo 1.2
Las siguientes expresiones NO son proposiciones:
1
Viajar en el da.
x + 3 = 7.
Mirar T.V.
De que color es la mesa?
es verdadera o falsa y no hay una que sea verToda afirmacion

la llamamos la
dadera y falsa al mismo tiempo. Esta suposicion
Ley del tercero excluido.
es que si una afirmacion
Una consecuencia de esta suposicion

no es falsa tendra que ser verdadera.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Operaciones basicas
En el lenguaje cotidiano se encuentran expresiones como:
Ejemplo 2.1
1
Las rosas son rojas y tienen espinas.
El tablero es verde o es blanco.
3
4
En el pas no hay violencia.
Si estudio logica
matematica
entonces sere un destacado
ingeniero de sistemas.
si se puede dividir por 2.

4 es un numero
par si y solo
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Operaciones basicas
Los terminos
de enlace, y, o , no, si,...,entonces, si
si, reciben el nombre de Conectivos logicos
y solo
, y estas
pronuevas proposiciones que se obtienen uniendo dos o mas
posiciones simples mediante conectivos logicos

se conocen
como proposiciones compuestas.
Al igual que a las proposiciones, los conectivos logicos

tam se les asignan un lenguaje simbolico,
bien
as:
LENGUAJE NATURAL LENGUAJE FORMAL
NOMBRE
Conjuncion
Disyuncion
No
Negacion
Si ... entonces
Condicional
si
Si y solo
Bicondicional
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Operaciones basicas
Ejemplo 2.2
1
p : Las rosas son rojas, q : Las rosas tienen espinas,

p q : Las rosas son rojas y tienen espinas.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Operaciones basicas
Ejemplo 2.2
r : El tablero es verde, s : El tablero es blanco,

r s : El tablero es verde o es blanco.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Operaciones basicas
Ejemplo 2.2
t : En el pas hay violencia, t : En el pas no hay

violencia.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Operaciones basicas
Ejemplo 2.2
x : Estudio logica
matematica,
y : Sere un destacado
ingeniero de sistemas,
x y : Si estudio logica
matematica
entonces sere un
destacado ingeniero de sistemas.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Operaciones basicas
Ejemplo 2.2
u : 4 es un numero
par, v : 4 es divisible por 2,
si es divisible por 2.
u v : 4 es un numero
par si y solo
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Tablas de verdad
Si conocemos los valores de verdad, (V o F) de las proposiciones simples p y q que componen las proposiciones compuestas
p q, p, p q, p q y p q, entonces podremos deducir el
valor de verdad de estas.
de una tabla de
Lo anterior se logra mediante la elaboracion
verdad, la cual depende del conectivo logico

utilizado y de los
valores de verdad (V o F) de las proposiciones p y q.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Tablas de verdad
()
Conjuncion
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
pq
La proposicion
es verdadera si p y
q son verdaderas,
y falsa si alguna de
ellas es falsa.
()
Negacion
p
V
F
p
F
V
p es falso cuando p es verdadero

y p es verdadero
cuando p no lo es.
Sergio Solano Sabie
Logica
Matematica
()
Disyuncion
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
p
La proposicion
q es falsa si las
proposiciones p y q
lo son, y verdadera en cualquier otro
caso.
Proposiciones
Tablas de verdad

Tablas de verdad
()
Conjuncion
p
1
1
0
0
q
1
0
1
0
pq
1
0
0
0
Se pueden simbolizar los valores de

verdad de una pro
posicion;
asignando 1 al valor verdadero y 0 al valor falso.
()
Negacion
p
1
0
p
0
1
utilizando el sistema binario, mediante el cual se

le asigna1 al valor verdadero y 0 al
valor falso.
Sergio Solano Sabie
Logica
Matematica
()
Disyuncion
p
1
1
0
0
q
1
0
1
0
pq
1
1
1
0

verdad de una pro
posicion;
Proposiciones
Tablas de verdad

Tablas de verdad
Condicional ()
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
La
proposicion
p q es verdadera si nunca
ocurre que p sea
verdadera y que q
sea falso.
Sergio Solano Sabie
Bicondicional()
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V
La
proposicion
p q es verdadera si p y q son
ambas verdaderas
o falsas, y falso en
caso contrario.
Logica
Matematica
Proposiciones
Tablas de verdad

Tablas de verdad
Condicional ()
p
1
1
0
0
q
1
0
1
0
pq
1
0
1
1

verdad de una pro
posicion;
Sergio Solano Sabie
Bicondicional()
p
1
1
0
0
q
1
0
1
0
pq
1
0
0
1

verdad de una pro
posicion;
Logica
Matematica
Proposiciones
Tablas de verdad

Tablas de verdad
Ejemplo 3.1
Elaborar la tabla de verdad de (p q) r.
Solucion.
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q
F
F
V
V
F
F
V
V
r
F
V
F
V
F
V
F
V
Sergio Solano Sabie
pq
V
V
V
V
F
F
V
V
(p q) r
F
V
F
V
F
F
F
V
Logica
Matematica
Proposiciones
Tablas de verdad

Tablas de verdad
Ejemplo 3.1
Solucion.
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q
F
F
V
V
F
F
V
V
r
F
V
F
V
F
V
F
V
Sergio Solano Sabie
pq
V
V
V
V
F
F
V
V
(p q) r
F
V
F
V
F
F
F
V
Logica
Matematica
Proposiciones
Tablas de verdad

Tablas de verdad
Ejemplo 3.2
Solucion.
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
pq
V
V
F
F
V
V
V
V
Sergio Solano Sabie
(p q) r
V
F
F
V
V
F
V
F
Logica
Matematica
Proposiciones
Tablas de verdad

Tablas de verdad
Ejemplo 3.2
Solucion.
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
pq
V
V
F
F
V
V
V
V
Sergio Solano Sabie
(p q) r
V
F
F
V
V
F
V
F
Logica
Matematica
Proposiciones
Tablas de verdad

Tautologa
4.1
Definicion
que siempre es verdadera
Una tautologa es una proposicion
sin importar el valor de verdad de sus componentes.
Ejemplo 4.1
(p q) ( q p) es una
Demostrar que la proposicion
tautologa.
Demostracion.
es necesario
Para verificar la validez de esta proposicion
realizar la tabla de verdad de ella:
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Tautologa
4.1
Definicion
Ejemplo 4.1
(p q) ( q p) es una
tautologa.
Demostracion.
es necesario
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Tautologa
4.1
Definicion
Ejemplo 4.1
(p q) ( q p) es una
tautologa.
Demostracion.
es necesario
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Tautologa
p
1
1
0
0
q
1
0
1
0
pq
1
1
1
0
q
0
1
0
1
qp
1
1
1
0
(p q) ( q p)
1
1
1
1
Notese
que en la ultima
columna solamente aparecen valores
la proposicion
dada es una
verdaderos. Luego, por definicion
tautologa.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Absurdo o contradiccion
4.2
Definicion
que siempre
es una proposicion
Un absurdo o contradiccion
es falsa sin importar el valor de verdad de sus componentes.
Ejemplo 4.2
(p q) q es una
Verifique que la proposicion
contradiccion.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

4.2
Definicion
que siempre
es una proposicion
Un absurdo o contradiccion
es falsa sin importar el valor de verdad de sus componentes.
Ejemplo 4.2
(p q) q es una
Verifique que la proposicion
contradiccion.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Solucion.
dada, as:
Construyamos la tabla de verdad de la proposicion
p
V
V
F
F
q
V
F
V
F
q
F
V
F
V
pq
F
V
F
F
(p q) q
F
F
F
F
es una contradiccion.
Por lo tanto esta proposicion
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Solucion.
dada, as:
Construyamos la tabla de verdad de la proposicion
p
V
V
F
F
q
V
F
V
F
q
F
V
F
V
pq
F
V
F
F
(p q) q
F
F
F
F
es una contradiccion.
Por lo tanto esta proposicion
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Proposiciones equivalentes
4.3
Definicion
Dos proposiciones compuestas P y Q se consideran
logicamente equivalentes o simplemente equivalentes, y se
si tienen los mismos valores de verdad
denota P Q si y solo
para cada una de las opciones en la tabla de verdad.
si P Q es
Note que lo anteior implica que P Q si y solo
una tautologa.
Ejemplo 4.3
Las proposiciones (p q) y ( q p) son equivalentes puesto
que en el ejemplo 4.1 se verifico que (p q) ( q p) es
una tautologa.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Proposiciones equivalentes
4.3
Definicion
Dos proposiciones compuestas P y Q se consideran
logicamente equivalentes o simplemente equivalentes, y se
si tienen los mismos valores de verdad
denota P Q si y solo
para cada una de las opciones en la tabla de verdad.
si P Q es
Note que lo anteior implica que P Q si y solo
una tautologa.
Ejemplo 4.3
Las proposiciones (p q) y ( q p) son equivalentes puesto
que en el ejemplo 4.1 se verifico que (p q) ( q p) es
una tautologa.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Equivalencias importantes
Las siguientes equivalencias son ciertas (es decir los bicondi muy usadas
cionales correspondientes son tautologas), y seran
de argumentos validos.
en la construccion
Sean P , Q y R proposiciones, entonces:
Idempotencia
Doble negacion
( P ) P
Conmutativa
P P P
P Q QP
P P P
P Q QP
Asociativa
1
P (Q R) (P Q) R
P (Q R) (P Q) R
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

en la construccion
Idempotencia
Doble negacion
( P ) P
Conmutativa
P P P
P Q QP
P P P
P Q QP
Asociativa
1
P (Q R) (P Q) R
P (Q R) (P Q) R
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

en la construccion
Idempotencia
Doble negacion
( P ) P
Conmutativa
P P P
P Q QP
P P P
P Q QP
Asociativa
1
P (Q R) (P Q) R
P (Q R) (P Q) R
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Leyes de De Morgan
Distributiva
1
P (Q R) (P Q) (P R)
(P Q) P Q
P (Q R) (P Q) (P R)
(P Q) P Q
de
La prueba de todas estas equivalencias se realizan a traves
tablas de verdad mostrando que los bicondicionales correspondientes son tautologas.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

de tablas
La siguientes equivalencias se pueden probar a traves
de verdad mostrando que los bicondicionales correspondientes
son tautologas o derivando resultados de las equivalencias que
conocemos hasta el momento.
Ejercicios
1
2
3
4
y disyuncion)
(P Q) ( P Q) (Condicional-negacion
del condicional).
(P Q) (P Q) (Negacion
(P Q) ( Q P ) (Contrarrecproco).
(P (Q Q)) P (Absorcion).
(P Q) ((P Q) (Q P ))
(Bicondicional-condicional)
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

de tablas
La siguientes equivalencias se pueden probar a traves
de verdad mostrando que los bicondicionales correspondientes
son tautologas o derivando resultados de las equivalencias que
conocemos hasta el momento.
Ejercicios
1
2
3
4
y disyuncion)
(P Q) ( P Q) (Condicional-negacion
del condicional).
(P Q) (P Q) (Negacion
(P Q) ( Q P ) (Contrarrecproco).
(P Q) ((P Q) (Q P ))
(Bicondicional-condicional)
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Solucion
Veamos que (P Q) ( P Q) es una tautologa.
Elaboremos su tabla de verdad:
P Q P P Q P Q (P Q) ( P Q)
V V
F
V
V
V
V F
F
F
F
V
F V
V
V
V
V
F F
V
V
V
V
Usando las equivalencias vistas, tenemos:

(P Q) ( P Q) Ejercicio 1
( P ) Q Leyes de De Morgan
P Q Doble negacion.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Inferencias logicas
Para definir las inferencias logicas

es necesario precisar algu
nos conceptos tales como razonamiento y demostracion.
Razonamiento
Es el proceso que se realiza
para obtener una
demostracion.
Demostracion
es el encadenamiento de
proposiciones que permiten obtener
llamada conclusion,
otra proposicion,
a partir de ciertas proposiciones
iniciales supuestas como verdaderas,
que reciben el nombre de premisas.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Inferencias logicas
Inferencias logicas
de
Son las conclusiones que se pueden obtener despues
realizar un razonamiento, este razonamiento solamente es
verdadero si se cumplen las siguientes condiciones:
1
2
Las premisas deben ser verdaderas.

las premisas deben
Durante el proceso de deduccion
relacionarse sujetas a las leyes de la logica.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Reglas de inferencia
se muestran las Reglas de Inferencia mas
utilizaA continuacion
de un argumento. La prueba de todas estas
das en la derivacion
de tablas de verdad mostranimplicaciones se realizan a traves
do que los bicondicionales correspondientes son tautologas.
(S)
Simplificacion
(A)
Adicion
De P Q podemos inferir P .
Esquematicamente,
De P podemos inferir P Q.
Esquematicamente,
P Q
P Q
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Modus Ponendo Ponens (MP)
Modus Tollendo Tollens (MT)
De P Q y P podemos inferir
Q. Esquematicamente,
De P Q y Q podemos
inferir P . Esquematicamente,
P Q
P Q
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Silogismo Disyuntivo (SD)

De P Q y Q podemos
inferir P . Esquematicamente,
Silogismo Hipotetico
(SH)
De P Q y Q R podemos
inferir P R.
Esquematicamente,
P Q
P Q
QR
P
P R
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

(AD)
Adjuncion
De P y Q podemos inferir
P Q. Esquematicamente,
Dilema Constructivo (DC)

De P Q, R S y P R
podemos inferir Q S.
Esquematicamente,
P
P Q
RS
P Q
P R
QS
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Ejemplo 6.1
Demostrar c a partir de las premisas dadas.
Premisa 1: b
Premisa 2: a b
Premisa 3: a c
Demostracion.
1. b (P)
2. a b (P)
3. a MT(1,2)
4. a c (P)
5. c MP(3,4)
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Ejemplo 6.2
Si un hombre se orienta siempre por su sentido del deber, tiene
que renunciar al goce de muchos placeres, y si se gua
siempre por su deseo de placer, a menudo olvidara su deber. O
bien un hombre se gua siempre por su sentido del deber, o
bien siempre se orienta por su deseo de placer. Si un hombre
se gua siempre por su sentido del deber, no descuidara a
menudo su deber, y si siempre se gua por su deseo de placer,
no renunciara al goce de muchos placeres. Luego, un hombre
si no
debe renunciar al goce de muchos placeres si y solo
descuida a menudo su deber.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Tomando el siguiente lenguaje formal:
Solucion.
P : se orienta por su sentido del deber
Q: renuncia al goce de placeres
R: se gua por su deseo de placer
S: olvidara su deber
Las premisas quedan as:
1. P Q
2. R S
3. P R
4. P S
5. R Q
Q S.
Conclusion:
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

1. P R (P)
2. P Q (P)
3. R S (P)
4. Q S DC(1,2,3)
5. P S (P)
6. R Q (P)
7. S Q DC (1,5,6)
aplicada en 4.
8. Q ( S) Doble nagacion
y disyuncion
aplicada en 8.
9. Q S Condicional-negacion
y disyuncion
aplicada en 7.
10. S Q Condicional-negacion
11. (Q S) ( S Q) AD(9,10)
12. Q S Bicondicional-condicional aplicado a (10,11)
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Funciones proposicionales
7.1
Definicion
proposicional definida
Sea A un conjunto dado. Una funcion
p(x), la cual tiene la propiedad que
sobre A es una expresion
p(a) es verdadera o falsa para cada a A. El conjunto A es
llamado dominio de p(x), y el conjunto Tp de todos los
elemento de A para los cuales p(a) es verdadero es llamado el
conjunto de verdad de p(x). En otras palabras,
Tp = {x : x A, p(x) es verdadera}
Frecuentemente, cuando A es algun
la
conjunto de numeros,
o inecuacion
que
condicio p(x) tiene la forma de una ecuacion
involucra la variable x.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Funciones proposicionales
Ejemplo 7.1
proposicional p(x)
Hallar el conjunto de verdad de cada funcion
definida sobre el conjunto N de numeros
naturales.
Sea p(x) : x + 2 > 7. El conjunto de verdad es

Tp = {x : x N, x + 2 > 7} = {6, 7, 8, . . .}
que consiste de todos los naturales mayores que 5.
Sea p(x) : x + 5 < 3. El conjunto de verdad es

Tp = {x : x N, x + 5 < 3} =
el conjunto vaco.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Cuantificador universal
proposicional definida sobre un conjunto
Sea p(x) una funcion
A. Considere la expresion
(x A)p(x) o xp(x)
verdala cual se lee Para todo x en A, p(x) es una declaracion
dera o, simplemente, Para todo x, p(x). El smbolo
el cual se lee para todo o para cada es llamado el cuantificador universal.

Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Cuantificador universal
Ejemplo 7.2
1
2
(n N)(n + 4 > 3) es verdadera

La proposicion
(n N)(n + 2 > 8) es falsa
La proposicion
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Cuantificador existencial
proposicional definida sobre un conjunto
Sea p(x) una funcion
A. Considere la expresion
(x A)p(x) o x, p(x)
la cual se lee Existe un x en A tal que p(x) es una declaracion

verdadera o, simplemente, Para algun
x, p(x). El smbolo
el cual se lee existe o para algun

es llamado el cuantificador existencial.
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

Cuantificador existencial
Ejemplo 7.3
1
2
(n N)(n + 4 < 7) es verdadera

La proposicion
(n N)(n + 6 < 4) es falsa
La proposicion
Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

de declaraciones cuantificadas
Negacion
Teorema 7.1 (De Morgan)
(x A)p(x) (x A) p(x)
Teorema 7.2 (De Morgan)
(x A)p(x) (x A) p(x)
Ejemplo 7.4
1
(n N)(n + 4 > 3) (n N)(n + 4 3).
(n N)(n + 4 < 7) (n N)(n + 4 7).

Sergio Solano Sabie
Logica
Matematica
Proposiciones
Tablas de verdad

GRACIAS POR SU ATENCION
Sergio Solano Sabie
Logica
Matematica

Clase 1 Lógica

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Clase 1 Lógica

Загружено:

Авторское право:

Доступные форматы

Proposiciones

Operaciones entre proposiciones

Reglas de inferencia logica

Sergio Solano Sabie

Reglas de inferencia logica

Sergio Solano Sabie

Reglas de inferencia logica

las cuales reciben el nombre de letras o variables proposicio

Sergio Solano Sabie

Reglas de inferencia logica

Los siguientes ejemplos ilustran como

q : Estudio ingeniera de sistemas.

r : New York es llamada la capital del mundo.

Reglas de inferencia logica

es verdadera o falsa y no hay una que sea verToda afirmacion

Una consecuencia de esta suposicion

Reglas de inferencia logica

Las rosas son rojas y tienen espinas.

El tablero es verde o es blanco.

En el pas no hay violencia.

si se puede dividir por 2.

Sergio Solano Sabie

Reglas de inferencia logica

posiciones simples mediante conectivos logicos

Al igual que a las proposiciones, los conectivos logicos

Reglas de inferencia logica

p : Las rosas son rojas, q : Las rosas tienen espinas,

Sergio Solano Sabie

Reglas de inferencia logica

r : El tablero es verde, s : El tablero es blanco,

Sergio Solano Sabie

Reglas de inferencia logica

t : En el pas hay violencia, t : En el pas no hay

Sergio Solano Sabie

Reglas de inferencia logica

Reglas de inferencia logica

Sergio Solano Sabie

Reglas de inferencia logica

verdad, la cual depende del conectivo logico

Sergio Solano Sabie

Reglas de inferencia logica

p es falso cuando p es verdadero

Sergio Solano Sabie

Reglas de inferencia logica

Se pueden simbolizar los valores de

utilizando el sistema binario, mediante el cual se

Sergio Solano Sabie

Se pueden simbolizar los valores de

Reglas de inferencia logica

Reglas de inferencia logica

Se pueden simbolizar los valores de

Se pueden simbolizar los valores de

Reglas de inferencia logica

Sergio Solano Sabie

Reglas de inferencia logica

Sergio Solano Sabie

Reglas de inferencia logica

Sergio Solano Sabie

Reglas de inferencia logica

Sergio Solano Sabie

Reglas de inferencia logica

Reglas de inferencia logica

Reglas de inferencia logica

Reglas de inferencia logica