Lógica matemática.

FORMAS
PROPOSICIONALES
 ¿Quién lo inventó?
 George Boole nació en Irlanda
(1815-1864)

 El gran descubrimiento de
Boole fue aplicar una serie de
símbolos a operaciones lógicas
y hacer que estos símbolos y
operaciones –por elección
cuidadosa– tuvieran la misma
estructura lógica que el álgebra
convencional.

 En el álgebra de Boole, los

símbolos podían manipularse
según reglas fijas que
producirían resultados lógicos.
Conceptos previos:
 Proposición atómica.-Son aquellas proposiciones
que no se pueden dividir. Ejemplo:
a: Voy al cine

 Proposiciones moleculares.- Son aquellas que

están formadas por dos o más proposiciones
atómicas unidas por los operadores lógicos.
Ejemplo:

(a v b): Voy al cine o al parque.

¿Qué es una forma proposicional?
 Una forma proposicional es lo que se
obtiene al reemplazar, una proposición. La
cual va a tener un valor de verdad.

 Para armar una forma proposicional es

necesario reconocer los operadores
lógicos:
Operador lógico: Símbolo: Lectura:
Disyunción v O
Conjunción ^ Y
Implicación => Entonces…
Negación ¬ No
Construcción de una forma proposicional

 Un razonamiento bien construido puede ser

falso en su contenido material, por ejemplo:
Si digo: “todos los burros vuelan”.
 “Platero es un burro”
 Luego “Platero vuela”
 El razonamiento es materialmente falso
pero es valido lógicamente si esta bien
construido.
Formas Proposicionales

 Existen 3 formas proposicionales:

 Tautológicas.- Es aquella forma proposicional que

siempre da como resultado verdadero.

 Contradicciones.- Es aquella forma proposicional

que siempre da como resultado falso.

 Falacias o Indeterminada.- Es aquella forma

proposicional que siempre es verdadera y falsa a la
vez.
Tautológicas.
p. Voy al cine
q. Compro palomitas
 p =>(q =>p)
 “Si voy al cine entonces compro palomitas
solo si voy al cine.”

p q q => p p =>(q =>p)

0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1
Contradicción.
a. Voy al cine.
b. Compro palomitas.
 (¬a ^ b) ^ a
 “No voy al cine y compro palomitas y
voy al cine.”

a b ¬a ¬a ^ b (¬a ^ b) ^ a
0 0 1 0 0
0 1 1 1 0
1 0 0 0 0
1 1 0 0 0
Contingencia.
a: Voy al cine.
b: Compro palomitas.
 (a => b) ^ (b => a)
 “ Si voy al cine entonces compro
palomitas y si compro palomitas, voy al
cine”
a b a => b b => a (a => b) ^ (b => a)
0 0 1 1 1
0 1 1 0 0
1 0 0 1 0
1 1 1 1 1
Ejercicios
 En un pueblo de Manabí unas vecinas se
comentan entre sí:

 “Si el clima esta favorable en la finca Greenday,

entonces hay una buena cosecha de arroz. Si el
quintal de arroz cuesta aproximadamente treinta
dólares, el arroz no es económico y si el quintal de
arroz cuesta aproximadamente treinta dólares
entonces el arroz no es económico. ¿Será que el
arroz no es económico?”
Identificación de proposiciones

 a: El clima está favorable en la finca de

Greenday.
 b: Hay una buena cosecha de arroz.
 c: El quintal de arroz cuesta
aproximadamente treinta dólares.
 d: El arroz es económico.
Forma proposicional
 (a=>b) ^ ( c => ¬ d) ^ ( c v ¬ e) => ¬ e
 (a=>b) ^ ( c => ¬ d) ^ ( c v ¬ e) => 0
 (0 =>0) ^ (1 => 1) ^ (1 v 0) => 0
 1 ^1 ^1 => 0
 1=>0
 0 Contingencia.