Matlab - Lógica Lógica MATLAB

hola por fa ayúdenme a demostrar esto mediante resolución booleana como lo haría un computador
y luego cuál sería la simbología que aplica matlab

Demuestre que W and M es verdadero por resolución únicamente

si se tiene la base de conocimientos :

1) M
2) I and T entonces W
3) P entonces A
4) P
5) E
6) A and E entonces T
7) Q
8) Q and R entonces I
9) R
10) A

se los agradecería para poder guiarme con el resto de ejercicios

se parte de que la hipótesis W and M es falsa para encontrar alguna inconsistencia :

not(W) or not(M)

agrego 1) M

(not(W) and M) or (not(M) and M)
not(W)

Agrego 2) not(I) or not(T) or W

not(W) and (not(I) or not(T) or W)
not(I) or not(T)

agrego 8 not(Q) or not(R) or I

(not(I) or not(T)) and (not(Q) or not(R) or I)
(not(I) and (not(Q) or not(R) or I) ) or (not(T) and (not(Q) or not(R) or I))
not(Q) or not(R) or not(T)

agrego 7 y 9 (Q and R)

(not(Q) and Q and R) or (not(R) and Q and R) or (not(T) and Q and R)
not(T) and Q and R
not(T)

agrego 6 : not(A) or not(E) or T

not(T) and (not(A) or not(E) or T)
(not(T) and not(A) ) or (not(T) and not(E) )
not(A) or not(E)

agrego 5 y 10 (A and E)

(not(A) and A and E) or (not(E) and A and E)

ambos argumentos del or son inconsistentes ya que A y not(A) no pueden tener nunca el mismo valor y lo mismo para E, por lo tanto se demuestra que la hipótesis planteada es verdadera (recuerda que por resolución se niega la hipótesis para encontrar algún error)


para matlab usas not, or , and por ejemplo (and(A,E) ) pero por resolución tienes que hacer una regla que vaya eliminando variables y aplicando propiedades y aplicando teoremas como modus tollendo tollens , ponendo ponens , lo que si puedes hacer fácilmente es comprobar que la base de conocimientos se cumpla y la hipótesis también

saludos
https://www.facebook.com/royethmatlab/

eres un animal! no te doy mas puntos porque no puedo , he estado intentando hacer esto hace muchas semanas y ya me estaba volviendo loca , voy a analizar bien como eliminas las cosas pero tengo una pregunta y espero y me la puedas responder , cómo demuestras el modus ponendo pones mediante algebra booleana he buscado en internet y solo lo explican en palabras pero nunca hacen las operaciones , de veras estoy muy agradecida!

bueno para este caso , el modus ponendo pones afirma que si A da como consecuencia B entonces si A es verdadero B es verdadero

A-->B

esto en lógica preposicional es lo mismo que not(A) or B entonces tenemos como base de conocimientos :
1) A
agrego 1 a not(A) or B
(not(A) or B) and A
(not(A) and A) or (B and A)

lo primero es vacío , te queda :
B and A

como agregaste A o por el teorema de simplicidad puedes quitarla y te queda :
B

que es lo que se quería demostrar , recuerda pasar la base de conocimientos en forma clausural antes del desarrollo
saludos

Muchísimas gracias! lo voy a referenciar! , ya estoy haciendo los otros y voy probando las expresiones en matlab y resultan bien