what are the fundamental symbols in logic? maybe this is a vague question but that's cause i don't know anything about logic. are they [tex]\neg[/tex] [tex]\wedge[/tex] [tex]\vee[/tex]? do we define the material implication in terms of these symbols? basically i'm having trouble understanding the paradoxical nature of the material implication and so i'm wondering what it's supposed to accomplish? by this i mean how was it decided for which values it is true. please illustrative examples because they don't suffice to explain to me why the truth table for -> is what it is.