Te propongo los siguientes ejercicios de simbolización, para que practiques los conocimientos adquiridos al estudiar el tema de Lógica Proposicional.
Recuerdo que:
- Los enunciados se simbolizan con las letras minúsculas a partir de la "p". Si se repite el enunciado, repetimos este símbolo que se denomina "variable proposicional".
- Para las conectivas, utilizamos los siguientes símbolos:
- Conjuntor: Se simboliza ^. Equivale a las palabras y, pero, sin embargo, etc.
- Disyuntor: Se simboliza V. Equivale a las palabras o, ya..ya, bien..bien, sea por esto...sea por aquello, etc.
- Implicador o condicional: Se simboliza --->. Equivale a si..entonces, luego, por tanto, por consiguiente, etc.
- Coimplicador o bicondicional: Se simboliza <---> . Equivale a solo si...entonces, es igual que, es equivalente a, etc.
- Negador: Se simboliza ¬. Equivale a una negación.
- Para agrupar fórmulas, utilizamos los paréntesis y corchetes. Tenemos que dejar separadas las premisas de la conclusión mediante la conectiva dominante.
Ahora intenta simbolizar estas frases:
1.- Puedo estudiar ciencias o humanidades. Y si estudio ciencias, entonces podré hacer Medicina. Y si estudio humanidades, podré hacer Magisterio. Y no quiero hacer Magisterio. Por tanto, estudiaré ciencias.
2.- Ni te esfuerzas por aprender ni quieres trabajar. Y si no te esfuerzas por aprender, entonces no podrás sacar unos estudios. Y si no trabajas, entonces no podrás ganarte la vida. Por tanto, o trabajas o te esfuerzas por aprender.
3.- Si voy a verte, entonces te llevaré un bizcocho. Y no te he llevado bizcocho. Luego no he ido a verte.
4.- No es posible que ni me hayas visto ni me hayas oido. Y tú dices que no me has oido. Por tanto, me has visto.
5.- Hace frío. Y si hace frío, entonces pondré el edredón. Y si pongo el edredón, entonces guardaré la colcha. Por consiguiente, guardaré la colcha.
Para ver las soluciones, pincha aquí