Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LÓGICA CLASIAL
SEMANA: 13 DOCENTE: MAYCOL MENDOZA TORRES
ÁREA: TODAS CURSO: RAZ. LÓGICO
FORMA TÍPICA
PROPOSICION TRADUCCION FORMA LÓGICA CLASIAL
CATEGORICA VERBAL TIPICA (FORMULA CICLO DICIEMBRE 2020 – MARZO 2021
BOOLEANA)
UNIVERSAL Todo S es P SaP S ഥ
𝑷=
AFIRMATIVO
UNIVERSAL Ningún S es P SeP SP=
NEGATIVO
PARTICULAR Algunos S es P SiP SP
AFIRMATIVO
PARTICULAR Algunos S no son P SoP S𝑷
ഥ
NEGATIVO
**Todo S no es P SeP
**Ningún S no es P SaP
TRADUCCION FORMA LÓGICA CLASIAL
VERBAL TIPICA (FORMULA
BOOLEANA) CICLO DICIEMBRE 2020 – MARZO 2021
Todo S es P SaP S 𝑃=
ത
U SP 𝑆ҧ 𝑃ത =
I
S P
V S P
x Equivale a :
A x
x
L 𝑆ҧ P =
S 𝑃ത
E
a b
N a b
C Equivale a :
x
I
𝑎ത 𝑏ത
A ab=
M R
M R
Equivale a : x
D
TODA FORMULA BOOLEANA
A D 𝐴 EQUIVALE A SI MISMA.
x Equivale a :
ഥ 𝐴ҧ =
𝐷
D 𝐴
T M
𝑇ത M =
Equivale a :
T𝑀 ഥ
𝑇ത M =
F E F E
C Su complemento es:
x
O
F 𝐸=
ത CICLO DICIEMBRE 2020 – MARZO 2021
M F 𝐸
ത
P
A R
L A R
Su complemento es:
E x
M 𝐴ҧ 𝑅ത
𝐴ҧ 𝑅ത =
E
N S P 1ERO: SE HALLA LA EQUIVALENCIA
X X
T X
Su complemento es: S P
S 𝑃 =
O
2DO: SE HALLA SU COMPLEMENTO
S P
x
S 𝑃
P F P F
Su complemento es:
P 𝐹=
ത CICLO DICIEMBRE 2020 – MARZO 2021
CONTENIDO EXISTENCIAL
𝑆ҧ P
SU CONTENIDO
SP= S 𝑃ത
EXISTENCIAL
S P
SP
SU CONTENIDO
𝑆ҧ P = EXISTENCIAL 𝑆ҧ 𝑃ത
s p
SU CONTENIDO S 𝑃ത
EXISTENCIAL 𝑆ҧ P
𝑆ҧ 𝑃ത =
3) INFERENCIA
▪ SU EQUIVALENCIA
UNIVERSAL SE INFIERE:
▪ SU CONTENIDO EXISTENCIAL
CICLO DICIEMBRE 2020 – MARZO 2021
P A SP=
EQUIVALENCIA
𝑆ҧ 𝑃ത
SE INFIERE:
𝑆ҧ P
SP= CONTENIDO
S 𝑃ത
EXISTENCIAL
F E F 𝐸
ത
x SE INFIERE: EQUIVALENCIA
𝐹ത E =
F 𝐸
ത
P F 1ERO: SE HALLA LA EQUIVALENCIA
P F
SE INFIERE:
x P 𝐹
ത
CICLO DICIEMBRE 2020 – MARZO 2021
P 𝐹
ത
P F
P F
𝑃ത F =
SE INFIERE:
x
P 𝐹
ത
SI LAS ALTERNATIVAS SON
FORMAS TIPICAS
1ERO: SE HALLA LA EQUIVALENCIA
I E S P
x SE INFIERE:
x x CICLO DICIEMBRE 2020 – MARZO 2021
𝑆ҧ 𝑃ത =
2DO: SE HALLA SU INFERENCIA
𝑆ҧ 𝑃ത =
EQUIVALENCIA
𝑆P
S 𝑃ത
CONTENIDO
EXISTENCIAL 𝑆ҧ P
4) NEGACION DE UNA FORMULA BOOLEANA
- (S P = )
1) 𝑆ҧ 𝑃ത =
1 2
2) S P
CICLO DICIEMBRE 2020 – MARZO 2021
CICLO DICIEMBRE 2020 – MARZO 2021
PRÁCTICA DE CLASE
1) La proposición: “Ningún no retículo endoplasmático es no nucleolo”, se
representa en ecuación booleana como:
𝑅ത 𝑒 𝑁
ഥ 𝑅ത 𝑁ഥ= CICLO DICIEMBRE 2020 – MARZO 2021
𝑆ҧ 𝑃ത =
A) S-P = B) -SP= C
C) -S -P= D) SP = E) - S - - -P=
A) -S P = B) -S - - P =
C) S - - - P = D) – (-S - P ) E) - - S U P=
A
3. La proposición: “Casi ningún no término algebraico no deja de tener un
coeficiente diferente de cero”, Se representa en ecuación booleana como:
ത 𝐶
𝑇𝑖 ത C
𝑇 CICLO DICIEMBRE 2020 – MARZO 2021
ҧ P
𝑆
A) S - -P B) -S -P C
C) -S - -P D) S -P E) S U – P =
( 𝐶 𝑒 𝑂) C O = 𝐶ҧ U 𝑂ത
D
A) –(-C.-O ) B) -C.-O =
C) –(-C O=) D) -O U -C E) O C 0
6. La proposición: “Es un absurdo que, casi no hay ecuaciones lineales que no tienen no
resultados reales” Al ser considerado al sujeto como S y al predicado como P; se expresa
equivalentemente en el diagrama de Venn:
S P
ത
−( 𝐿 𝑜 𝑅) ത
( 𝐿 𝑎 𝑅) L R = B)
x x
S P = 𝑆ҧ U 𝑃ത x
B
7. En la proposición: “En modo alguno se da que, ni siquiera una fracción
impropia no es infinita”. Al considerar al sujeto como S y a P como predicado,
se representa en diagrama de Venn equivalente: CICLO DICIEMBRE 2020 – MARZO 2021
−(𝐼 𝑖 𝑅ത ) (𝐼 𝑒 ഥ𝑅) 𝐼 𝑅ത =
𝑆 𝑃ത = 𝑆ҧ 𝑈 𝑃
D
9.De la proposición: “Es objetable que, ni un solo no cuadrilongo no es no
cuadrado” Al considerar al sujeto como S y al predicado como P; su
complemento queda representado en diagrama de Venn como:
CICLO DICIEMBRE 2020 – MARZO 2021
S U P D) – (SP = )