UNIVERSIDAD DE GUAYAQUIL

FACULTAD DE CIENCIAS MATEMÁTICAS Y FÍSICAS

SOFTWARE

TAREA DE ÁMBITO LÓGICO

INVESTIGACIÓN RELACIONADO A SINÓNIMOS DE LOS

CONECTORES U OPERADORES LÓGICOS.

POR
Baquerizo Cavezas María José
Chacón Ruiz Paúl Ernesto
Cordero Cruz Rossthyn Eduardo
Ochoa Efraín

PARALELO: SOF-S-VE 1-15 VAN 20

PROFESOR: Ing. José Luis Alonso Anguizaca, M.Sc.

GUAYAQUIL-ECUADOR

2021-2022 CI
SINÓNIMOS DE LOS CONECTORES LÓGICOS

1. EL CONJUNTOR
SÍMBOLOS:

-&.

Traducción verbal se lee:

- P y Q. - P incluso Q.

- P pero Q. - P aunque Q.

- P al igual que Q. - P tal como Q

- P tanto que Q - P también Q

- P así como Q - P vemos que también Q

- P al mismo tiempo que Q - P sin embargo Q

- P es compatible con Q - P aun cuando Q

- P al mismo modo Q - P no obstante Q

- P sino Q - No sólo P sino también Q

- P asimismo Q - P a pesar de que Q

- P a la vez que Q - P igualmente Q

- P de la misma manera Q - Sin que P tampoco Q

- Cierto que P lo mismo que Q - Simultáneamente P con Q

- P más aún Q - P además Q

- P a la par que Q - P aun cuando Q

- P igualmente Q, etc.

2. EL DISYUNTOR
INCLUYENTE

SÍMBOLOS:

Traducción verbal se lee:

-PoQ - P a menos que Q

- A menos que P, Q - P salvo que Q

- P y bien, o también Q - P excepto que Q

- P o incluso Q - P o a la vez Q

- P ya bien Q - P y/o Q

- P a no ser Q, etc.

3. EL DISYUNTOR EXCLUYENTE

SÍMBOLOS:

, , 

Traducción verbal se lee:

-PoQ - bien P o bien Q

- P o Q (en sentidos excluyentes) - P o solamente Q

- P o únicamente Q - P o sólo Q

- P no es equivalente a Q - No es equivalente P con Q

- P no biimplica a Q, etc.

4. EL IMPLICADOR

SÍMBOLOS:

, 

Traducción 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 sólo si Q

- Sólo P si Q - P es condición suficiente de

Q.
- Una condición necesaria para P es Q - Como quiera que P por lo

cual Q, etc.

5. EL BIIMPLICADOR

SÍMBOLOS:

,  

Traducción verbal se lee:

- P si y sólo si Q - P siempre y cuando Q

- P se define lógicamente como Q - P es equivalente a Q

- P es igual que Q - P es idéntica a Q

- P es condición necesaria y suficiente para Q - P siempre que y sólo cuando Q

- P porque y sólo porque Q - P entonces y sólo entonces Q

6. EL NEGADOR

SÍMBOLOS: ~, ─, __

Traducción verbal se lee:

a) Negadores internos:

- No P - Nunca P - Jamás 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.