Lógica Matemática – FF201

EVALUACIÓN FINAL – UNIDAD 1

Nombre: Julissa Michelle Zelaya Villafranca

Sección: 1600

Fecha: 6/10/20

Parte A.

Instrucciones: Usando tablas de verdad y tomando en cuenta que A y B sean falsos y, M y N sean
verdaderos; escriba en el paréntesis una V si el enunciado formal es verdadero o una F si el enunciado
formal es falso. (Usar “o” inclusiva) 0.5 pts. c/u

1. {A  [(M  B) v N]}  [(A•B) • (N  M)] ……… ( V )

{1  [(1  1) v 0]}  [(0•1) • (1 0)]
{1  (1 v 0)}  [0 • 0]
{1  1}  [0]
{1}  [0]
11
1

2. {[ B v (M  N)  A] v [(A v N) • (B • M)]} ……… ( F )

{[1 v (1  0)  1] v [(0 v 0) • (0 • 0)]}
{[1 v (0)  1] v [0 • 0]}
{[1 v 1  1] v [0]}
{[1  1] v 1}
{1 v 1}
{1}
0

Parte B.
Instrucciones: Traduzca a lenguaje formal el siguiente argumento que aparece en lenguaje
natural, y mediante el uso de tablas de verdad mencione si la forma argumental es válida o no.
Utilice la simbología de su preferencia. 3 pts.

1. Si Eduardo viaja a México, entonces Federico no viaja a Argentina, pero si Federico viaja a
Argentina entonces Gregorio viaja a España. O Federico viaja a Argentina o Federico no viaja
a Argentina, pero Eduardo no viaja a México. Por tanto, Gregorio no viaja a España.
E: Eduardo viaja a México

F: Federico viaja a Argentina

G: Gregorio viaja a España

1. (E   F) • (F  G)
2. (F V  F) •  E
 G
 E F G F EF FG (E   F) • (F  G) E F V  F (F V  F) •  E G

1 1 1 0 0 1 0 0 1 0 0
1 1 0 0 0 0 0 0 1 0 1
1 0 1 1 1 1 1 0 1 0 0
1 0 0 1 1 1 1 0 1 0 1
0 1 1 0 1 1 1 1 1 1 0
0 1 0 0 1 0 0 1 1 1 1
0 0 1 1 1 1 1 1 1 1 0
0 0 0 1 1 1 1 1 1 1 1

R/. Forma argumental es invalida por fila #5 y #7.

Parte C

Instrucciones: utilizando tablas de verdad mencione cuales de los siguientes argumentos formales
son válidos o inválidos, transformándolos a forma sentencial. (Disyunción exclusiva)

1. (P  Q) • ( R v S)

2.  Q v  S

PR

[[(P  Q) • ( R v S )] • ( Q v  S )]  ( P   R)

P Q R S PQ R RvS [() • ( )]  S QvS [[() • ( )]• ]] PR [] (P   R)

Q
1 1 1 1 1 0 1 1 0 0 0 0 0 1
1 1 1 0 1 0 0 0 0 1 1 0 0 1
1 1 0 1 1 1 0 0 0 0 0 0 1 1
1 1 0 0 1 1 1 1 0 1 1 1 1 1
1 0 1 1 0 0 1 0 1 0 1 0 0 1
1 0 1 0 0 0 0 0 1 1 0 0 0 1
1 0 0 1 0 1 0 0 1 0 1 0 1 1
1 0 0 0 0 1 1 0 1 1 0 0 1 1
0 1 1 1 1 0 1 1 0 0 0 0 1 1
0 1 1 0 1 0 1 1 0 1 1 1 1 1
0 1 0 1 1 1 0 0 0 0 0 0 1 1
0 1 0 0 1 1 1 1 0 1 1 1 1 1
0 0 1 1 1 0 1 1 1 0 1 1 1 1
0 0 1 0 1 0 0 0 1 1 0 0 1 1
0 0 0 1 1 1 0 0 1 0 1 0 1 1
0 0 0 0 1 1 1 1 1 1 0 0 1 1

R/ Forma argumental valida

1. A  K

2. K   J

AJ
 [(A  K) • (K   J)]  (A  J)
A K J AK K  J K   J • AJ [(A  K) • (K   J)]  (A  J)
1 1 1 1 0 0 1 1 1 1
1 1 0 1 0 1 1 1 0 0
1 0 1 0 1 0 0 0 1 1
1 0 0 0 1 1 1 0 0 1
0 1 1 1 0 0 1 1 1 1
0 1 0 1 0 1 1 1 1 1
0 0 1 1 1 0 0 0 1 1
0 0 0 1 1 1 1 1 1 1

R/ Forma sentencial contingente, por lo tanto, el argumento principal es invalido.

Parte D
Instrucciones: utilizando tablas de verdad mencione si la siguiente formulación booleana es
tautológica, contingente o contradictoria. Elabore el esquema de circuito. 3 pts. c/u
1. [(A + C)  (B • C)] + [(A+B) + (B•C)]
A C B A+C B C B •  A A+B B•C (B•C)] []+[] +
C
1 1 1 1 0 0 0 1 0 1 0 1 1 1
1 1 0 1 1 0 0 1 0 0 0 1 1 1
1 0 1 1 0 1 0 1 0 1 1 0 1 1
1 0 0 1 1 1 1 0 0 0 0 1 1 1
0 1 1 1 0 0 0 1 1 1 0 1 1 1
0 1 0 1 1 0 0 1 1 1 0 1 1 1
0 0 1 0 0 1 0 0 1 1 1 0 1 1
0 0 0 0 1 1 1 1 1 1 0 1 1 1

Circuito lógico

R/ Forma booleana y circuito lógico tautológico

Parte E

Instrucciones: a partir del siguiente esquema de circuito, solamente obtenga la formulación

booleana. 1 pt.
R/ [((B+A)B) •((C+A)+(B•C))] [(C•A) ((C•A)+ (B•C))]

Parte F

Instrucciones: conteste de forma clara y ordenada lo que se le pregunta. 0.5 pts. c/u.

1. ¿Quién es el padre de la lógica y por qué?

Aristóteles, porque fue el primero en que sistematizo la lógica a nivel científico.

2. ¿Cuál es la diferencia entre una forma sentencial y una formulación booleana?

La diferencia es que en la formulación booleana solo existen los conectivos lógicos disyunción,
conjunción y negación. Mientras que en la formulación sentencial existen los conectivos lógicos
condicional y bicondicional.