- #1
ice109
- 1,714
- 6
im just starting to write proofs and it's going well but some things aren't immediately obvious to me.
for example it is not immediately obvious to me why
[tex]\forall_i ~ p_i \vee q_i \Leftrightarrow (\forall_i p_i ) \vee (\forall_i q_i)[/tex] isn't a tautology
and it wasn't immediately obvious to me why a statement like this
[tex]\forall_i ~ x \in A \vee B_i [/tex]
isn't equivalent to
[tex]x \in A \vee \forall_i ~ x \in B_i [/tex]
although i do understand now. can someone suggest a book or an internet resource that would help me with this? i picked up an introduction to math logic book but there's so much other stuff in there and obviously with more practice i'll get the hang of it but still some ideas on how to either get it quicker or as mentioned some resources. maybe prove a bunch of these set theorems lots of different ways.
for example it is not immediately obvious to me why
[tex]\forall_i ~ p_i \vee q_i \Leftrightarrow (\forall_i p_i ) \vee (\forall_i q_i)[/tex] isn't a tautology
and it wasn't immediately obvious to me why a statement like this
[tex]\forall_i ~ x \in A \vee B_i [/tex]
isn't equivalent to
[tex]x \in A \vee \forall_i ~ x \in B_i [/tex]
although i do understand now. can someone suggest a book or an internet resource that would help me with this? i picked up an introduction to math logic book but there's so much other stuff in there and obviously with more practice i'll get the hang of it but still some ideas on how to either get it quicker or as mentioned some resources. maybe prove a bunch of these set theorems lots of different ways.