How can I learn formal logic

Formalize statements - Serlo "Math for non-freaks"

natural languageformal notation Not and or ("Or" in the sense of "and / or")If , then then, when Out follows implies is sufficient for is necessary for Exactly then , if Then and only then , if is equivalent to is equivalent to is necessary and sufficient for For all is Each Fulfills It is for all For all out is Each the crowd Fulfills It is for all For all from is Each greater than or equal to Fulfills There is a With There is one , so that applies For at least one applies There is a out With For at least one applies There is a from With For at least one from applies There is exactly one With There is exactly one , so that applies For exactly one applies There is exactly one out With For exactly one applies