Sunteți pe pagina 1din 5

ALGEBRA LINEAL PARA ESTADÍSTICOS Y ACTUARIOS

p p
Apéndice V F
F V

LÓGICA PROPOSICIONAL
Ejemplo A.2.

En el ejemplo A.1.,

A.1. PROPOSICIONES LÓGICAS. Para p: “María estudió más de 10 horas para el 1º examen parcial de Algebra
Lineal” la proposición p es p : “María estudió 10 horas o menos para el 1º
Definición A.1. examen parcial de Algebra Lineal”. El valor veritativo de p es V y el valor
Se define como proposición lógica o proposición a toda afirmación o expresión veritativo de p es F.
que se hace de algún fenómeno y que dispone de un criterio objetivo que Para q: “María aprobó el 1º examen parcial de Algebra Lineal” la proposición
permite afirmar que es verdadera o falsa.
q es q : “María reprobó el 1º examen parcial de Algebra Lineal”. El valor
Si una proposición es verdadera se dice que su valor veritativo es “Verdadero” veritativo de q es F y el valor veritativo de q es V.
y se denota por “V”, mientras que si una proposición es falsa entonces se dice
que su valor veritativo es “Falso” y se denota por “F”. Definición A.3.
La tabla que muestra los valores veritativos posibles de una o más Dadas dos proposiciones p y q se define como proposición “conjunción de p y
proposiciones recibe el nombre de Tabla de Verdad. Para una proposición en q” y se denota por p ∧ q a la proposición que tiene como valor veritativo V
particular la tabla de verdad es:
sólo cuando p y q tienen como valores veritativos V y tiene como valor
veritativo F en cualquier otra situación. La proposición p ∧ q se lee como “p y
p
V q”. Su tabla de verdad es:
F
p q p∧q
Ejemplo A.1. V V V
V F F
La afirmación p: “María estudió más de 10 horas para el 1º examen parcial de F V F
Algebra Lineal” es una proposición ya que puede ser verdadera o falsa. A F F F
efectos académicos supondremos que efectivamente María estudió más de 10
horas para el 1º examen parcial de Algebra Lineal y entonces el valor Ejemplo A.3.
veritativo de esta proposición es V. La afirmación q: “María aprobó el 1º
examen parcial de Algebra Lineal” es una proposición ya que puede ser En el ejemplo A.1.,
verdadera o falsa. A efectos académicos supondremos que María no aprobó el
1º examen parcial de Algebra Lineal, es decir, el valor veritativo de esta La proposición p y q es p ∧ q : “María estudió más de 10 horas para el 1º
proposición es F. examen parcial de Algebra Lineal y aprobó dicho examen”. Como el valor
veritativo de p es V y el valor veritativo de q es F entonces el valor veritativo
A.2. CONECTIVOS LÓGICOS. de p ∧ q es F.

Definición A.2. Definición A.4.


Dada una proposición p se define como proposición “negación de p” y se Dadas dos proposiciones p y q se define como proposición “disyunción
denota por p a la proposición que tiene como valor veritativo V cuando p incluyente de p y q” y se denota por p ∨ q a la proposición que tiene como
tiene como valor veritativo F y tiene como valor veritativo F cuando p tiene valor veritativo F sólo cuando p y q tienen como valores veritativos F y tiene
como valor veritativo V. La proposición p se lee como “no p”. Su tabla de como valor veritativo V en cualquier otra situación. La proposición p ∨ q se
verdad es: lee como “p o q”. Su tabla de verdad es:

A- 2
APENDICE: LÓGICA PROPOSICIONAL ALGEBRA LINEAL PARA ESTADÍSTICOS Y ACTUARIOS

p q p∨q En este caso la proposición p se dice que es el antecedente del condicional y la


V V V proposición q se dice que es el consecuente del condicional.
V F V
F V V Ejemplo A.6.
F F F
En el ejemplo A.1.,
Ejemplo A.4.
La proposición si p entonces q es p → q : “Si María estudió más de 10 horas
En el ejemplo A.1., para el 1º examen parcial de Algebra Lineal entonces aprobó dicho examen”.
Como el valor veritativo de p es V y el valor veritativo de q es F entonces el
La proposición p o q es p ∨ q : “María estudió más de 10 horas para el 1º valor veritativo de p → q es F.
examen parcial de Algebra Lineal o aprobó dicho examen”. Como el valor
veritativo de p es V y el valor veritativo de q es F entonces el valor veritativo Definición A.7.
de p ∨ q es V.
Dadas dos proposiciones p y q se define como proposición “bicondicional de p
Definición A.5. y q” y se denota por p ↔ q a la proposición que tiene como valor veritativo V
sólo cuando p y q tienen los mismos valores veritativos y tiene como valor
Dadas dos proposiciones p y q se define como proposición “disyunción veritativo F en cualquier otra situación. La proposición p ↔ q se lee como “p
excluyente de p y q” y se denota por p∨q a la proposición que tiene como si y sólo si q”. Su tabla de verdad es:
valor veritativo F sólo cuando p y q tienen los mismos valores veritativos y
p q p↔q
tiene como valor veritativo V en cualquier otra situación. La proposición p∨q
V V V
se lee como “o p o q”. Su tabla de verdad es: V F F
F V F
p q p∨q F F V
V V F
V F V En este caso cada proposición participa simultáneamente como antecedente y
F V V consecuente.
F F F
Ejemplo A.7.
Ejemplo A.5.
En el ejemplo A.1.,
En el ejemplo A.1.,
La proposición p si y sólo si q es p ↔ q : “María estudió más de 10 horas para
La proposición o p y q es p∨q : “o María estudió más de 10 horas para el 1º
el 1º examen parcial de Algebra Lineal si y sólo si aprobó dicho examen”.
examen parcial de Algebra Lineal o aprobó dicho examen”. Como el valor Como el valor veritativo de p es V y el valor veritativo de q es F entonces el
veritativo de p es V y el valor veritativo de q es F entonces el valor veritativo valor veritativo de p ↔ q es F.
de p∨q es V.

Definición A.6. A.3. TIPOS DE CONDICIONALES.


Dadas dos proposiciones p y q se define como proposición “condicional de p y
Definición A.8.
q” y se denota por p → q a la proposición que tiene como valor veritativo F
sólo cuando p tiene como valor veritativo V y q tiene como valor veritativo F y Dadas dos proposiciones p y q, el condicional p → q recibe el nombre de
tiene como valor veritativo V en cualquier otra situación. La proposición
condicional directo. Además de éste existen otros 3 condicionales:
p → q se lee como “si p entonces q”. Su tabla de verdad es:
1. q → p , el cual recibe el nombre de condicional recíproco.
p q p→q
V V V 2. p → q , el cual recibe el nombre de condicional contradirecto.
V F F 3. q → p , el cual recibe el nombre de condicional contrarecíproco.
F V V
F F V

A- 3 A- 4
APENDICE: LÓGICA PROPOSICIONAL ALGEBRA LINEAL PARA ESTADÍSTICOS Y ACTUARIOS

Ejemplo A.8. 4. p∨q ≡ q∨p . (Propiedad Conmutativa de la Disyunción


Incluyente)
En el ejemplo A.1., 5. p∧q ≡ q∧p . (Propiedad Conmutativa de la Conjunción)
6. p ↔ q ≡ ( p → q ) ∧ (q → p ) (Propiedad de Conjunción de
El condicional directo p → q es: “Si María estudió más de 10 horas para el 1º
Condicionales)
examen parcial de Algebra Lineal entonces aprobó dicho examen”.
7. p↔q≡q↔p. (Propiedad Conmutativa del Bicondicional)
El condicional recíproco q → p es: “Si María aprobó el 1º examen parcial de 8. p →q ≡ p∧q . (Propiedad de Negación de un Condicional)
Algebra Lineal entonces estudió más de 10 horas para dicho examen”.
9. p→q≡q→p (Equivalencia Contrarecíproca)

El condicional contradirecto p → q es: “Si María estudió 10 horas o menos 10. p → q ≡ p ∧ q → O . (Equivalencia Reducción al Absurdo)
para el 1º examen parcial de Algebra Lineal entonces reprobó dicho examen”.
A.6. CONDICIONALES TAUTOLÓGICOS O TEOREMAS.
El condicional contrarecíproco q → p es: “Si María reprobó el 1º examen Definición A.11.
parcial de Algebra Lineal entonces estudió 10 horas o menos para dicho
examen”. Dadas dos proposiciones p y q, se dice que el condicional p → q es una
implicación si dicho condicional es una tautología. En ese caso se dice que p
A.4. TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS. implica a q o que q se deduce de p y se escribe p ⇒ q . Igualmente al
Definición A.9. antecedente p se le denomina hipótesis y al consecuente q se le denomina tesis.
La implicación p ⇒ q también se conoce como teorema. Asimismo se dice
Se dice que una proposición obtenida de un conectivo lógico es una: que p es condición suficiente para q y que q es condición necesaria para p.

1. Tautología y se denota por I cuando su valor veritativo siempre es Analicemos por un instante la tabla de verdad del condicional p → q :
V.
2. Contradicción y se denota por O cuando su valor veritativo siempre P q p→q
es F. V V V
3. Contingencia cuando no es una Tautología ni es una Contradicción. V F F
F V V
Ejemplo A.9. F F V
Las proposiciones p ↔ q del ejemplo A.7., y p → q del ejemplo A.6., son Observemos que si el antecedente (p) es verdadero el condicional será una
contradicciones, mientras que la proposición p ∨ q del ejemplo A.4., es una tautología cuando el consecuente (q) también sea verdadero, en tanto que si el
tautología. antecedente (p) es falso el condicional será una tautología independientemente
del valor veritativo del consecuente (q). La única forma de que el condicional
sea una contradicción es que el antecedente (p) sea verdadero y el consecuente
A.5. PROPOSICIONES EQUIVALENTES. (q) sea falso. Lo usual es que el punto de partida sea que el antecedente (p) es
verdadero, para luego utilizando una serie de herramientas deducir el valor
Definición A.10. veritativo del consecuente (q) lo cual nos llevará a saber si el condicional es o
no una implicación.
Se dice que dos proposiciones p y q son equivalentes y se escribe p ≡ q si
tienen la misma tabla de verdad. Igualmente se dice que un bicondicional p ↔ q es una doble implicación si
dicho bicondicional es una tautología. En ese caso se escribe p ⇔ q y se dice
Las equivalencias más importantes son las siguientes: que p es condición necesaria y suficiente para q.

1. p≡p. (Propiedad Reflexiva de la Negación) A.7. MÉTODOS DE DEMOSTRACIÓN DE TEOREMAS.

2. p∨q ≡ p∧q . (Ley de Morgan de la Disyunción Incluyente) Como se señaló anteriormente el condicional p → q es una implicación y se
escribe p ⇒ q si dicho condicional es una tautología. El método o la serie de
3. p∧q ≡ p∨q . (Ley de Morgan de la Conjunción)
razonamientos y deducciones válidas y lógicas empleadas para mostrar que un

A- 5 A- 6
APENDICE: LÓGICA PROPOSICIONAL ALGEBRA LINEAL PARA ESTADÍSTICOS Y ACTUARIOS

condicional es una implicación o un teorema recibe el nombre de alguno de los 3 métodos de demostración para probar que el condicional es
Demostración. Existen tres (3) métodos de demostración: verdadero. Notemos que tanto el antecedente como el consecuente plantean
desigualdades lo cual podríamos tomar como proposiciones definidas de forma
1. Método Directo: Se basa en el condicional propiamente dicho afirmativa. Por ello, utilizaremos el método directo. Supongamos que el
p → q . Se utiliza casi siempre; fundamentalmente cuando las antecedente es verdadero, es decir, que x + 9 < 3 – 2x. Luego,
proposiciones p y q están definidas de forma afirmativa. Por
ejemplo, p: “Juan cobró su quincena ayer” y q:”Juan llevó a su x + 2x < 3 – 9
novia al cine anoche” ⇒ 3x < –6
⇒ x < −6
2. Método Contrarecíproco: Se basa en la equivalencia 3
⇒ x < –2
p → q ≡ q → p . Se utiliza fundamentalmente cuando las
proposiciones p y q estén definidas de forma negativa. Por ejemplo, Es decir, el consecuente es verdadero. Por consiguiente, hemos demostrado
p: “Juan no llevó a su novia al cine anoche” y q: “Juan no cobró su que el condicional es verdadero.
quincena ayer”.
Ejemplo A.11.
3. Método Reducción al Absurdo: Se basa en la equivalencia
p → q ≡ p ∧ q → O . Se utiliza fundamentalmente cuando la Sea f: ℜ→ℜ definida por f(x) = ax + b, con a≠0. Demuestre que f es inyectiva.
proposición p está definida de forma afirmativa y la proposición q
esta definida de forma negativa. Por ejemplo, p: “Juan cobró su Observamos nuevamente que el enunciado comienza diciendo “Demuestre
quincena ayer” y q: “Juan almorzó fuera de su casa ayer”. que” lo cual indica que el condicional es verdadero y debemos demostrarlo.
Una función f es inyectiva cuando para pre-imágenes distintas existen
La forma afirmativa o negativa como se le podría catalogar que esta definida imágenes distintas, es decir, si x, y∈Dom(f) el condicicional si x ≠ y entonces
una proposición es algo relativo. Por ejemplo, para algunos lectores la f(x) ≠ f(y) es verdadero. Notemos que demostrar que f es inyectiva se reduce a
proposición q: “Juan almorzó fuera de su casa ayer” puede estar definida de demostrar que si x ≠ y entonces f(x) ≠ f(y). En este caso tanto el antecedente
forma afirmativa y quizás para otros puede estar definida de forma negativa. como el consecuente expresan que una cosa es diferente de otra, es decir, están
En ese caso, la experiencia en el tema donde se encuentra el teorema a definidas de forma negativa, por lo cual resulta conveniente utilizar el método
demostrar resulta clave en la elección del método para lograr realizar la de demostración contrarecíproco. Esto es, para demostrar que si x ≠ y entonces
demostración del teorema. Pero en general, las razones señaladas en los f(x) ≠ f(y) se debe demostrar que si f(x) = f(y) entonces x = y. En efecto,
párrafos anteriores son las fundamentales para elegir el método apropiado para
demostrar un teorema. f(x) = f(y) ⇒ ax + b = ay + b
⇒ ax = ay + b – b
Además de estos tres (3) métodos de demostración existe otro método de ⇒ ax = ay
demostración que involucra proposiciones que están definidas en función de un
⇒ x = (a )y
número natural (ℵ). Dicho método recibe el nombre de Inducción Matemática. a
Fue creado por Blaise Pascal en el año 1.662 cuando éste creó lo que hoy en ⇒x=y
día se conoce como el triángulo de Pascal. Este método consiste en los
siguientes pasos: Luego, el condicional contrarecíproco es verdadero y por lo tanto el
condicional directo también es verdadero. Por consiguiente, f es inyectiva.
1. Demostrar que la afirmación es cierta para algún natural; por lo
general el de menor valor. Ejemplo A.12.
2. Se supone que la afirmación es cierta para un natural k mayor o
igual que el elegido en el primer paso. Esto recibe el nombre de Sean a, b, c∈ℜ con a≠0. Demuestre que si b2 – 4ac < 0 entonces la ecuación de
hipótesis de inducción. 2º grado ax2 + bx + c = 0 no tiene soluciones reales.
3. Se demuestra que la afirmación es cierta para el entero k+1. Esto
recibe el nombre de tesis de inducción. De nuevo el enunciado comienza diciendo “Demuestre que” lo cual indica que
el condicional es verdadero y debemos demostrarlo. En este caso, el
Ejemplo A.10. antecedente plantea una desigualdad lo cual se puede tomar como una
proposición definida de forma afirmativa mientras que el consecuente se
Demuestre que si x + 9 < 3 – 2x entonces x < –2. plantea de forma negativa ya que esta diciendo que una cosa no tiene otra cosa.
Esto nos indica que resulta conveniente utilizar el método de reducción al
Observemos que el enunciado comienza diciendo “Demuestre que” lo cual absurdo. Para ello debemos suponer que b2 – 4ac < 0 y que la ecuación de 2º
significa que dicho condicional es verdadero. Debemos entonces utilizar

A- 7 A- 8
APENDICE: LÓGICA PROPOSICIONAL ALGEBRA LINEAL PARA ESTADÍSTICOS Y ACTUARIOS

grado ax2 + bx + c = 0 tiene soluciones reales y debemos llegar a una Ejemplo A.14.
contradicción. En efecto,
Sean a, b, c∈ℜ con a≠0. Determine si la proposición “si b = 0 entonces la
La fórmula resolvente de la ecuación de 2º grado ax2 + bx + c = 0 es: ecuación de 2º grado ax2 + bx + c = 0 tiene soluciones complejas” es verdadera
o falsa justificando su respuesta con una demostración si es verdadera o un
contraejemplo si es falsa.
− b ± b 2 − 4ac
x=
2a En este caso, el enunciado no comienza diciendo “Demuestre que” sino que
comienza diciendo “Determine si la proposición… es verdadera o falsa”. Esto
Como dicha ecuación tiene soluciones reales entonces eso quiere decir que significa que debemos determinar el valor veritativo de este condicional. Para
b2 – 4ac ≥ 0 lo cual es una contradicción ya que b2 – 4ac < 0. De esta forma ello, definitivamente se debe tener un conocimiento del tema en estudio para
hemos demostrado que el condicional es verdadero. así tener una idea inicial de si esta proposición es verdadera o falsa. Pareciera
que el hecho de que b sea igual a cero nada tiene que ver con que la ecuación
Ejemplo A.13. de 2º grado ax2 + bx + c = 0 tenga soluciones complejas, por lo cual esta
proposición luce falsa. Busquemos un contraejemplo:
Sean x, y∈ℜ y n∈ℵ*. Entonces se cumple que:
Consideremos la ecuación de 2º grado x2 – 4 = 0. En este caso b = 0 y la
(xy)n = xnyn ecuación tiene 2 soluciones reales x1 = 2 y x2 = -2, es decir, no tiene soluciones
complejas. En este ejemplo, el antecedente es verdadero y el consecuente es
En este caso tenemos una proposición que depende de un número natural (n). falso. Por consiguiente, el condicional es falso.
Por ello, resulta conveniente utilizar el método de demostración de inducción
matemática.
Debemos demostrar que la proposición es verdadera para n = 1.

En efecto,

(xy)1 = xy = x1y1

Supongamos que la proposición es cierta para n = m, es decir,

(xy)m = xmym

Demostremos que la proposición es cierta para n = m+1. En efecto,

(xy)m+1 = (xy)m(xy)

Pero por hipótesis de inducción, (xy)m = xmym. Luego,

(xy)m+1 = xmym(xy) = xmymxy = xmxymy = xm+1ym+1

Por consiguiente, la proposición es verdadera.

A.8. CONTRAEJEMPLOS.

El condicional p → q no es una implicación cuando dicho condicional no es


una tautología, es decir, es una contradicción. Esto solamente ocurre cuando el
valor veritativo de p es V y el de q es F. Si se consigue un ejemplo particular
en el cual p es verdadera pero q es falsa se habrá demostrado que el
condicional p → q es falso. Dicho ejemplo recibe el nombre de
contraejemplo.

A- 9 A - 10

S-ar putea să vă placă și