Fundamentos Matemáticos para Computación
2023-2
Quiz S5
Pregunta 1
Demuestre
(p ∧ t) → (r ∨ s)
q → (u ∧ t)
u→p
¬s
q
∴r
Pregunta 2
El tablero de mini-shogi-modificado tiene cinco filas (5) y cinco (5) columnas.
Si hay un caballero en una casilla, dos casillas adelante + una hacia cada lado están en peligro.
En la imagen anterior, por ejemplo, el caballo (en gris) deja en peligro a las dos casillas amarillas.
1. Describa las casillas que están amenazadas por un caballo con lógica proposicional.
2. Demuestre o refute la afirmación: “si hay un caballo en (5, 3) y un caballo en (4, 2) se puede
poner una ficha en (3, 3) sin estar en peligro”.
Página 1 de 1