Hoja Lógica

Formalizar en lenguaje del cálculo proposicional:

1. Ana tiene la simpatía y Berta la inteligencia.
p & q
2. No hace falta cable ni cuerda y si no aparecen tornillos, tampoco herramientas.
(¬p& ¬q) & ¬r s

3. Si mañana sigue así y Carla no puede venir a echarle un vistazo, lo llevamos a otro veterinario.
(p & ¬q) r

4. Las hojas marrones pueden deberse a que se haya regado enexceso, a que le falte abono o a corrientes de aire.
((p V q) V r) s

5. Con que Diana termine las gráficas, Ernesto corrija el texto y Fernando o Greta hagan la encuadernación, lograremos entregarlo atiempo.
(p & q) & (r V s) t

6. Si está instalado el driver y la conexión física está bien, el escáner debe funcionar, salvo que la configuración no sea correcta.
(p & q) & r s

7. Si elsujeto no presenta alucinaciones ni delirio y su patrón de evolución no es cíclico, entonces no podemos diagnosticar esquizofrenia.
((¬p & ¬q) & ¬r) ¬s

8. Puede usted abonar la deuda mediante ingresoen nuestra cuenta o personalmente en nuestras oficinas; en caso contrario tendremos que cortarle el suministro.
¬p V ¬q r

9. Aníbal logró llegar a las puertas de Roma, pero Escipión llevó suslegiones hasta Cartago, le obligó a regresar y le derrotó en Zama.

10. Si se mueve la articulación de la cadera, los abdominales trabajan mucho menos de lo que parece, y en cambio lo hacen losisquiotibiales; además, la zona lumbar sufre.


11. Tienes que desmontar la cubierta interna del faro, retirar el mazo de cables y acceder a zócalo por detrás; entonces puedes cambiar la lámpara.
((P &q) & r) s

12. Si Dios puede evitar el mal y no quiere hacerlo, entonces no es bondadoso, y si quiere evitarlo pero no puede, entonces no es omnipotente. (Epicuro)
(p & ¬q ¬r) & (q & ¬p) ¬s13. Si no estamos dispuestos a aceptar algunas suposiciones no demostradas, el conocimiento es imposible.
¬p q

14. No será tan mala gente, ya que sigues con ella.


15. Si nuestros carros...