Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LÓGICA FORMAL
- P o únicamente Q SÍMBOLOS: ~, ─, P
- P o sólo Q Traducción verbal se lee:
- P no es equivalente a Q a) Negadores internos:
- No es equivalente P con Q - No P
- P no biimplica a Q, etc. - Nunca P
- P siempre y cuando Q - Jamás P
- P se define lógicamente b) Negadores externos:
como Q - Es absurdo que P
- P es equivalente a Q - Es inconcebible que P
- P es igual que Q - Es innegable que no P
- P es idéntica a Q - No es el caso que P
- P es condición necesaria y - De ninguna forma se da P
suficiente para Q - Es incierto que P
- P siempre que y sólo - No es inobjetable que P
cuando Q - En modo alguno P
- P porque y sólo porque Q - Es inadmisible que P
- P entonces y sólo - No acaece que P
entonces Q - No acontece que P, etc
-5