Demostraciones en clase by Nancy Boyallian https://padlet.com/11340131/Bookmarks en-us 2021-05-17 00:25:28 UTC 2023-02-27 20:09:52 UTC hello@padlet.com https://padlet.net/icons/png/1f989.png https://padlet.com/11340131/Bookmarks/wish/1589896998 2021-06-07 13:19:30 UTC https://padlet.com/11340131/Bookmarks/wish/1589896998 https://padlet.com/11340131/Bookmarks/wish/1592748025 2021-06-08 12:56:45 UTC https://padlet.com/11340131/Bookmarks/wish/1592748025 Julieta https://padlet.com/11340131/Bookmarks/wish/1592763920 1. ∃x Cubo(x) ^ ∃x grand(x)

2. ∃x Cubo(x) elim. de ^ en 1
3. ∃x grand(x) elim. de ^ en 1
[a]
4. cubo(a) elim de ∃ en 2
[b]
5. grand(b) elim de ∃ en 3


∃x (Cubo (x) ^ grand (x))
]]> 2021-06-08 13:02:57 UTC https://padlet.com/11340131/Bookmarks/wish/1592763920 https://padlet.com/11340131/Bookmarks/wish/1592817368 2021-06-08 13:20:16 UTC https://padlet.com/11340131/Bookmarks/wish/1592817368 https://padlet.com/11340131/Bookmarks/wish/1592859935 2021-06-08 13:33:44 UTC https://padlet.com/11340131/Bookmarks/wish/1592859935 https://padlet.com/11340131/Bookmarks/wish/1592896028 2021-06-08 13:45:09 UTC https://padlet.com/11340131/Bookmarks/wish/1592896028