Question

Una expresión M, para que la forma proposicional [p^(p --> q)] --> M sea tautologica, es
A) p^q
B) - p ^ q
C) p --> - q
D) - p
E) -q
Ayudenme resolviendo detalladamente todos los literales x favor

Answer 1

tenes que hacer tabla de verdad para que sea tautologia todos los valores tienen que dar V
  [p   ^     (p  -->     q)]   -->   (p    ^    q )              entonces m toma el valor de p^q
  v   (v)     v   (v)    v     V       v   (v)    v
  v   (f )    v    (f)     f      V      v   (f)     f
  f    (f)     f    (f )    v      V      f    (f)     v
  f    (f)     f    (v )   f       V      f    (f)     f

Answer 2

Una expresión M, para que la forma proposicional [p^(p → q)] → M sea tautológica, es (p→¬q)

Explicación paso a paso:

La tabla de verdad de la siguiente proposición:

[p ∧ (p → q)] →m

p   q  (p → q) [p ∧ (p → q)] → (p →¬q)

F  F      V          F               V

F  V      V         F                V

V  F      F           F               V

V  V     V          V               V

El argumento es Tautología, porque todos los valores de verdad son verdaderos

Ve mas en:  https://brainly.lat/tarea/20200227