Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1. El conjuntor
, g,
Smbolos:
&, KPQ
, APQ
Smbolos:
,
,
, ,
Traduccin verbal se lee:
oPoQ
o bien P o bien Q
P o Q (en sentidos excluyentes)
P o solamente Q
P o nicamente Q
P o slo Q
P no es equivalente a Q
No es equivalente P con Q
P no biimplica a Q, etc.
4. El implicador
, ,
Smbolos:
CPQ
Traduccin verbal se lee:
Si P entonces Q
Siempre que P por consiguiente Q
Ya que P bien se ve que Q
Con tal P es obvio que Q
Cuando P as pues Q
Toda vez que P es consecuente Q
Dado P por eso Q
En cuanto P por tanto Q
Cada vez que P consiguientemente Q
Ya que P es evidente Q
De P derivamos Q
P implica Q
Si P, Q
Cuando P, Q
Como P, Q
De P, Q
Suponiendo que P, Q
P slo si Q
Slo P si Q
P es condicin suficiente de Q
Una condicin necesaria para P es Q
Como quiera que P por lo cual Q, etc.
5. El replicador
,
Smbolos:
Traduccin verbal se lee:
Slo si P, Q
P si Q
P porque Q
P siempre que Q
Es condicin necesaria P para Q
P para Q
Para P es suficiente Q
P puesto que Q
P dado que Q
P supone que Q
P pues Q
P en vista de Q
P como Q
P por cuanto Q
P debido a que Q
P cada vez que Q
P en razn de Q
P en tanto Q
Para P es suficiente Q, etc.
6. El bicondicional
, ,
Smbolos:
EPQ
Smbolos: ~, , , NP
Traduccin verbal se lee:
a) Negadores internos:
No P
Nunca P
Jams P
b) Negadores externos:
Es absurdo que P
Es inconcebible que P
Es innegable que no P
No es el caso que P
De ninguna forma se da P
Es incierto que P
No es inobjetable que P
En modo alguno P
Es inadmisible que P
No acaece que P
No acontece que P, etc.