Lógica matemática Flashcards

0
Q

Definición de Lógica Matemática

A

La lógica es la ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o incorrecto; en este sentido, la Lógica matemática analiza los tipos de razonamiento utilizando modelos matemáticos con ayuda de las proposiciones lógicas.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
1
Q

Definición de Aritmética

A

Es aquella parte de la matemática pura elemental que se ocupa de la composición y descomposición de la cantidad expresada en números.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Definición y clasificación de proposiciones lógicas.

A

Una proposición lógica es el conjunto de palabras que, encerrando un pensamiento, tiene sentido al afirmar que es VERDADERO o al afirmar que es FALSO.

Las proposiciones se calsifican en:

1) Simples o Atómicas
2) Compuestas o Moleculares

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Diga si la siguiente frase es una proposición:

“Esta frase no es una proposición”

A

No es una proposición porque no se puede negar ni afirmar, es ambigua. Si la afirmo entonces no sería proposición y si la niego, si sería.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Diga si la siguiente es una proposición:

“La bonita niña que me gusta”

A

No es proposición, no se puede afirmar si es verdadera o falsa.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Diga si la siguiente es una proposición:

“La bonita niña que me gusta se sienta en la plaza Che”

A

Es una proposición porque se puede afirmar si es verdadera o falsa.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Explique:

fbf operador fbf ≡ fbf

A

fbf significa fórmula bien formada y la expresión a explicar quiere decir que si una fórmula bien formada la operamos mediante un conectivo lógico con otra fórmula bien formada entonces obtenemos una fórmula bien formada.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

¿Qué son los conectivos lógicos?

A

Los conectivos lógicos son símbolos que sirven para relacionar o juntar proposiciones simples (atómicas) y formar proposiciones compuestas (moleculares).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

¿Cuantos resultados hay en una tabla de la verdad con n proposiciones?

A

2 elevado a la n

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Aplique negación a p en una tabla de la verdad.

A

p ~p

V F
F V

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Escriba los valores de p∧q en la tabla de la verdad.

A

V F F F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Escriba los valores de p∨q en la tabla de la verdad.

A

V V V F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Escriba los valores de p∆q en la tabla de la verdad

A

F V V F

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Escriba los valores de p⇒q en la tabla de la verdad

A

V F V V

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

Escriba los valores de p⇔q en la tabla de la verdad

A

V F F V

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

¿Qué tipos de proposiciones lógicas hay? Defina cada una.

A

Tautología: Es una proposición cuyos valores de verdad del OPERADOR PRINCIPAL son TODOS VERDADEROS, cualquiera sean los valores de verdad de sus componentes.

Contradicción: Es una proposición cuyos valores de verdad del OPERADOR PRINCIPAL son TODOS FALSOS, cualquiera que sea el valor de verdad de sus componentes.

Contingencia: No es ni tautología ni contradicción porque los valores de verdad de su OPERADOR PRINCIPAL tienen por lo menos una VERDAD y/o una FALSEDAD.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

Escriba la siguiente secuencia en orden de mayor a menor prioridad:

() ~ ⇒ ∧ ∨ ⇔

A
() 
~ 
∧
∨
⇒
⇔
20
Q

Ley de identidad.

A

p ⇒ p
p ⇔ p

“Una proposición sólo es idéntica consigo misma”.

21
Q

Ley de la contradicción.

A

~(p ∧ ~p)

“Una proposición no puede ser verdadera y falsa a la vez”.

22
Q

Ley del tercio excluido.

A

p ∨ ~q

“Una proposición o es verdadera o es falsa, no hay una tercera opción”.

23
Q

Ley de la doble negación o involución.

A

~(~p) ≡ p

“La negación de la negación es una afirmación”.

24
Q

Ley de la idempotencia.

A

a) p ∧ p ∧ p ∧ … ∧ p ≡ p
b) p ∨ p ∨ p ∨ … ∨ p ≡ p

“Las variables repetidas redundantemente en una cadena de conjunciones o en una cadena de disyunciones se reemplazan por la sola variable”.

25
Q

Ley de la conmutatividad.

A

a) p ∧ q ≡ q ∧ p
b) p ∨ q ≡ q ∨ p
c) p ⇔ q ≡ q ⇔ p

“En una proposición, la conjunción, la disyunción inclusiva y la bicondicional son conmutativas”.

26
Q

Ley de la asociatividad.

A

a) p ∧ (q ∧ s) ≡ (p ∧ q) ∧ s
b) p ∨ (q ∨ s) ≡ (p ∨ q) ∨ s
c) p ⇔ (q ⇔ s) ≡ (p ⇔ q) ⇔ s

“En una proposición, la doble conjunción, la doble disyunción, o la doble bicondicional se asocian indistintamente”.

27
Q

Ley de la distributividad.

A

a) p ∧ (q ∨ s) ≡ (p ∧ q) ∨ (p ∧ s)
b) p ∨ (q ∧ s) ≡ (p ∨ q) ∧ (p ∨ s)
c) p ⇒ (q ∧ s) ≡ (p ⇒ q) ∧ (p ⇒ s)
d) p ⇒ (q ∨ s) ≡ (p ⇒ q) ∨ (p ⇒ s)

“En una proposición la conjunción, la disyunción y la implicación son distributivas”.

28
Q

Ley de Morgan.

A

a) ~(p ∧ q) ≡ (~p ∨ ~q)
b) ~(p ∨ q) ≡ (~p ∧ ~q)

“En una proposición, la negación de una conjunción o de una disyunción son distributivas respecto a la disyunción o conjunción.

29
Q

Ley del condicional.

A

a) p ⇒ q ≡ ~p ∨ q
b) ~(p ⇒ q) ≡ p ∧ ~q

“En una proposición, la condicional equivale a la disyunción de la negación del antecedente con el consecuente, y la negación de una condicional equivale a una conjunción del antecedente con la negación del consecuente”.

30
Q

Ley del bicondicional.

A

a) (p ⇔ q) ≡ (p ⇒ q) ∧ (q ⇒ p)

b) (p ⇔ q) ≡ (p ∧ q) ∨ (~p ∧ ~q) ≡ ~(p ∆ q)

31
Q

Ley de la absorción.

A

a) p ∧ (p ∨ q) ≡ p
b) p ∧ (~p ∨ q) ≡ p ∧ q
c) p ∨ (p ∧ q) ≡ p
d) p ∨ (~p ∧ q) ≡ p ∨ q

32
Q

Ley de transposición.

A

a) (p ⇒ q) ≡ (~q ⇒ ~p)

b) (p ⇔ q) ≡ (~p ⇔ ~q)

33
Q

Ley de la exportación.

A

a) (p ∧ q) ⇒ s ≡ p ⇒ (q ⇒ s)

b) (p1 ∧ p2 ∧ … ∧ pn) ⇒ s ≡ (p1 ∧ p2 ∧ … ∧ pn-1) ⇒ (pn ⇒ s)

34
Q

Ley del Modus Ponens.

A

[(p ⇒ q) ∧ p] ⇒ q

“En una premisa condicional; si se afirma el antecedente, entonces se concluye en la afirmación del consecuente”.

35
Q

Ley del Modus Tollens.

A

[(p ⇒ q) ∧ ~p] ⇒ ~p

“En una proposición, si se niega el consecuente de una premisa condicional entonces se concluye en la negación del antecedente”.

36
Q

Ley del silogismo disyuntivo.

A

[(p ∨ q) ∧ ~p] ⇒ q

“En una proposición, cuando se niega el antecedente de la premisa de una disyunción, se concluye en la afirmación del consecuente”.

37
Q

Ley de la inferencia equivalente.

A

[(p ⇔ q) ∧ p] ⇒ q

“En una proposición, cuando se afirma que uno de los miembros de una bicondicional es verdadera, entonces el otro miembro también es verdadero”.

38
Q

Ley del silogismo hipotético.

A

[(p ⇒ q) ∧ (q ⇒ s)] ⇒ (p ⇒ s)

“En una proposición, el condicional es transitivo”.

39
Q

Ley de la transitividad simétrica.

A

[(p ⇔ q) ∧ (q ⇔ s)] ⇒ (p ⇔ s)

“En una proposición, el bicondicional es transitivo”.

40
Q

Ley de la simplificación.

A

(p ∧ q) ⇒ p

“En una proposición, si el antecedente y consecuente de una conjunción son verdades, entonces cualquiera de los dos términos es verdad”.

41
Q

Ley de la adición.

A

p ⇒ (p ∨ q)

“En una proposición, una disyunción está implicada por cualquiera de sus dos miembros.

42
Q

Diferencia entre conectivo lógico unario y binario.

A

Un conectivo lógico unario afecta a una proposición, el único de esta clase es el conectivo de la negación (~p).

Un conectivo lógico binario afecta a dos proposiciones. Están todos los conectivos excepto el de la negación.

45
Q

¿Qué son las proposiciones simples?

A

Las proposiciones simples o atómicas se representan por las letras p, q, r, s, t, etc. y pueden ser verdaderas o falsas.

46
Q

¿Qué son las proposiciones compuestas básicas? ¿Qué significa cada una?

A

Son aquellas formadas a partir de proposiciones simples por medio de conectivos lógicos.

Negación: ~p (no p; no es cierto que p)
Conjunción: p ∧ q (p y q; p pero q; p sin embargo q)
Disyunción: p ∨ q (p o q; p y/o q)
Disyunción exclusiva: p ∆ q (o p o q)
Condicional: p ⇒ q (si p, entonces q; p implica q)
Bicondicional: p ⇔ q (p si, y sólo si q)