trabajos de ing

Ejemplos de Inferencias:
Deductivo.

Todas las mujeres son inteligentes.
Maria es mujer.
por lo tanto
Maria es inteligente.

Inductivo.

Agustin es un adolescente que escucha musica.
Viridiana es un adoescente que escucha musica.
Leonardo es un adolescente que escucha musica.
Laura es un adolescente que escuha musica,
por lo tanto
Todos los adolescentes escuchan musica.Analogia.

"El exito es como subir a la cima de una montaña". Por que tanto puedes estar arriba como puedes estar abajo.


Modus tollendo ponens
o MTP, es una forma válida de argumento:
es el caso que A, o es el caso que B
No A
Por lo tanto, B
o exclusivo:
O es el caso que A, o es el caso que B
No A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivoexclusivo podría ser:
O es de día o es de noche.
No es de día.
Por lo tanto, es de noche.
Otra manera de presentar el silogismo disyuntivo utilizando conectivas lógicas es:

o exclusivo

Y aún otra manera es a través de la notación del cálculo de secuentes:

o exclusivo

En lógica proposicional su representación sería la siguiente :
y exclusivo: .

EJERCICIOS DE TABLAS DE VERDAD YFORMALIZACIÓN MÁS TABLAS DE VERDAD.

Construya la tabla de verdad de las siguientes fórmulas. Indique qué fórmulas son tautológicas, cuáles contradictorias y cuáles indeterminadas.
1.
p
&
q
->
p
V
V
V
V
V
V
F
F
V
V
F
F
V
V
F
F
F
F
V
F
TAUTOLOGÍA
2.
(
p
->
q
)
&
(
p
&
¬
q
)

V
V
V

F

V
F
F
V


V
F
F

F

V
V
V
F


F
V
V

FF
F
F
V


F
V
F

F

F
F
V
F

CONTRADICCIÓN
3.
p
v
(
q
->
r
)
V
V

V
V
V

V
V

V
F
F

V
V

F
V
V

V
V

F
V
F

F
V

V
V
V

F
F

V
F
F

F
V

F
V
V

F
V

F
V
F

INDETERMINACIÓN
4.
(
p
->
q
)
&
q
->
p

V
V
V

V
V
V
V

V
F
F

F
F
V
V

F
V
V

V
V
F
F

F
V
F

F
F
V
FINDETERMINACIÓN
5.
(
p
->
q
)
&
(
q
->
r
)
->
(
p
->
r
)

V
V
V

V

V
V
V

V

V
V
V


V
V
V

F

V
F
F

V

V
F
F


V
F
F

F

F
V
V

V

V
V
V


V
F
F

F

F
V
F

V

V
F
F


F
V
V

V

V
V
V

V

F
V
V


F
V
V

F

V
F
F

V

F
V
F


F
V
F

V

F
V
V

V

F
V
V


F
V
F

VF
V
F

V

F
V
F

TAUTOLOGÍA
6.
(
p
->
q
)
&
¬
p
->
¬
q

V
V
V

V
F
V
V
F
V

V
F
F

F
F
V
V
V
F

F
V
V

F
V
F
F
F
V

F
V
F

V
V
F
V
V
F
INDETERMINACIÓN
7.
p
->
(
q
->
r
)
V
V

V
V
V

V
F

V
F
F

V
V

F
V
V

V
V

F
V
F

F
V

V
V
V

F
V

V
F
F

F
V

F
V
V

F
V

F
V
FINDETERMINACIÓN
8.
¬
(
p
v
q
)

¬
p
&
¬
q
F

V
V
V

V
F
V
F
F
V
F

V
V
F

V
F
V
F
V
F
F

F
V
V

V
V
F
F
F
V
V

F
F
F

V
V
F
V
V
F
TAUTOLOGÍA
9.
p
v
q
->
(
r
v
s
->
p
)
V
V
V
V

V
V
V
V
V

V
V
V
V

V
V
F
V
V

V
V
V
V

F
V
V
V
V

V
V
V
V

F
F
F
V
V

V
V
F
V

V
V
V
V
V

V
VF
V

V
V
F
V
V

V
V
F
V

F
V
V
V
V

V
V
F
V

F
F
F
V
V

F
V
V
F

V
V
V
F
F

F
V
V
F

V
V
F
F
F

F
V
V
F

F
V
V
F
F

F
V
V
V

F
F
F
V
F

F
F
F
V

V
V
V
F
F

F
F
F
V

V
V
F
F
F

F
F
F
V

F
V
V
F
F

F
F
F
V

F
F
F
V
F

INDETERMINACIÓN
10.
¬
(
p
v
q
)

¬
p
v
¬
q
F

VV
V

V
F
V
F
F
V
F

V
V
F

F
F
V
V
V
F
F

F
V
V

F
V
F
V
F
V
V

F
F
F

V
V
F
V
V
F
INDETERMINACIÓN
Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son válidos (tautologías) o no.
[Los ejercicios están tomados de la excelente introducción a la lógica proposicional de Eulalia Pérez Sedeño.
Eulalia...