bbkjnk

Proposiciones

L´gica
o

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Definici´n
o
Entenderemos por proposici´n una expresi´n acerca de la cual
o
o
tiene sentido preguntarse si es verdadera o falsa.

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Definici´n
o
Entenderemos por proposici´n una expresi´n acerca de la cual
o
o
tiene sentido preguntarse si esverdadera o falsa.
Ejemplo
1

“El gato es caf´” es una proposici´n, pero
e
o

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Definici´n
o
Entenderemos por proposici´n una expresi´n acerca de la cual
o
o
tiene sentido preguntarse si es verdadera o falsa.
Ejemplo
1

“El gato es caf´” es una proposici´n, pero
e
o

2

“El gato caf´, indiferente y cobarde”, no lo es.
eL´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Definici´n
o
Entenderemos por proposici´n una expresi´n acerca de la cual
o
o
tiene sentido preguntarse si es verdadera o falsa.
Ejemplo
1

“El gato es caf´” es una proposici´n, pero
e
o

2

“El gato caf´, indiferente y cobarde”, no lo es. (A esta
e
expresi´n le falta un verbo)
o

L´gica y Teor´ de Conjuntos
o
ıaProposiciones

Definici´n
o
Entenderemos por proposici´n una expresi´n acerca de la cual
o
o
tiene sentido preguntarse si es verdadera o falsa.
Ejemplo
1

“El gato es caf´” es una proposici´n, pero
e
o

2

“El gato caf´, indiferente y cobarde”, no lo es. (A esta
e
expresi´n le falta un verbo)
o
√
Son proposiciones expresiones como: 2 = 5, 4 + 7 < 5,
⊥ , la recta pasa por el punto P.3

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Definici´n
o
Entenderemos por proposici´n una expresi´n acerca de la cual
o
o
tiene sentido preguntarse si es verdadera o falsa.
Ejemplo
1

“El gato es caf´” es una proposici´n, pero
e
o

2

“El gato caf´, indiferente y cobarde”, no lo es. (A esta
e
expresi´n le falta un verbo)
o
√
Son proposiciones expresiones como:2 = 5, 4 + 7 < 5,
⊥ , la recta pasa por el punto P.
√
Sin embargo, 3 8 + π , 3 − (5 − 2)3 y similares no son
4
proposiciones, pues no hay afirmaci´n.
o

3

4

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Simbolog´
ıa
Los s´
ımbolos b´sicos que se utilizan son:
a
Las letras min´sculas p , q , r , ... para denotar propociciones.
u

L´gica y Teor´ de Conjuntos
o
ıaProposiciones

Simbolog´
ıa
Los s´
ımbolos b´sicos que se utilizan son:
a
Las letras min´sculas p , q , r , ... para denotar propociciones.
u
Los conectivos:
:

Negaci´n (no)
o

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Simbolog´
ıa
Los s´
ımbolos b´sicos que se utilizan son:
a
Las letras min´sculas p , q , r , ... para denotar propociciones.
u
Los conectivos:: Negaci´n (no)
o
∧ : Conjunci´n (y)
o

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Simbolog´
ıa
Los s´
ımbolos b´sicos que se utilizan son:
a
Las letras min´sculas p , q , r , ... para denotar propociciones.
u
Los conectivos:
: Negaci´n (no)
o
∧ : Conjunci´n (y)
o
∨ : Disyunci´n inclusiva (o)
o

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Simbolog´
ıaLos s´
ımbolos b´sicos que se utilizan son:
a
Las letras min´sculas p , q , r , ... para denotar propociciones.
u
Los conectivos:
: Negaci´n (no)
o
∧ : Conjunci´n (y)
o
∨ : Disyunci´n inclusiva (o)
o
⇒: Implicaci´n (condicional)
o

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Simbolog´
ıa
Los s´
ımbolos b´sicos que se utilizan son:
a
Las letras min´sculas p , q , r, ... para denotar propociciones.
u
Los conectivos:
: Negaci´n (no)
o
∧ : Conjunci´n (y)
o
∨ : Disyunci´n inclusiva (o)
o
⇒: Implicaci´n (condicional)
o
⇔: Doble implicaci´n (bicondicionalidad)
o

L´gica y Teor´ de Conjuntos
o
ıa

Proposiciones

Negaci´n
o
Si p es una proposici´n, la negaci´n de p es otra proposici´n,
o
o
o
denotada por p (“no p”) (tambi´n ∼ p o ¬p...