Question

RESOLVER LAS SIGUIENTES DIVISIONES ABREVIADAS
72.3 / 10
b) 96872, 734 / 1000 =
e) 966, 52 / 100
d) 0,9782 / 100 -
e) 44, 9882 / 10000 =
1, 297 / 100
361, 397 / 10 =
h) 18,0027 / 1000 =​

Answer 1

Respuesta:Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible:

¬(¬p → ¬q)

p q ¬(¬p → ¬q)

V V F V

V F F V

F V V F

F F F V

2ª 1ª

La fbf es satisfacible, ya que resulta V en la 3ª interpretación.

EJERCICIO 6.02

Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible:

¬(p → q) ∨ (¬p ∧ ¬q)

p q ¬(p → q) ∨ (¬p ∧ ¬q)

V V F F F

V F V V F

F V F F F

F F F V V

1ª 3ª 2ª

La fbf es satisfacible, ya que resulta V en la 2ª y en la 4ª interpretación.

EJERCICIO 6.03

Comprobar por tablas de verdad si la siguiente fbf es o no tautológica:

╞ (p → q ∧ ¬q) → ¬p

p q (p → q ∧ ¬q) → ¬p

V V F V

V F F V

F V V V

F F V V

1ª 2ª

La fbf es tautológica, ya que resulta V en todas las interpretaciones.

Explicación paso a paso: