Àwọn fídíò lórí ọgbọ́n.
Vídeos sobre lógica.
Àkójọ́pọ̀ Itumọ̀ (Glossário).
Ìwé gbédègbéyọ̀ (Vocabulário).
Àwọn, wọn, pron. Eles, elas. Indicador de plural.
Fídíò, fídéò, s. Vídeo.
Lórí, lérí, prep. Sobre, em cima de.
Nípa, nípasẹ̀, adv. Sobre, acerca de, concernente a.
Ọgbọ́n, s. Lógica.
Modus Ponens ou Regra da Eliminação do Antecedente
Os lógicos medievais conheciam a Regra da Eliminação do Antecedente de uma implicação, A → B, juntando à implicação o antecedente A, deduzindo B na conclusão :
A → B
A
-----
∴ B
Por exemplo, uma molécula (B) é composta por átomos (A); e, por isso, quando falamos em moléculas (B) está subentendida a existência dos átomos (A): ∴ B1
Notas
1. O símbolo ∴ significa “consequentemente”, ou “em consequência”.
Vídeos sobre lógica.
Àkójọ́pọ̀ Itumọ̀ (Glossário).
Ìwé gbédègbéyọ̀ (Vocabulário).
Àwọn, wọn, pron. Eles, elas. Indicador de plural.
Fídíò, fídéò, s. Vídeo.
Lórí, lérí, prep. Sobre, em cima de.
Nípa, nípasẹ̀, adv. Sobre, acerca de, concernente a.
Ọgbọ́n, s. Lógica.
Modus Ponens ou Regra da Eliminação do Antecedente
Os lógicos medievais conheciam a Regra da Eliminação do Antecedente de uma implicação, A → B, juntando à implicação o antecedente A, deduzindo B na conclusão :
A → B
A
-----
∴ B
Por exemplo, uma molécula (B) é composta por átomos (A); e, por isso, quando falamos em moléculas (B) está subentendida a existência dos átomos (A): ∴ B1
Notas
1. O símbolo ∴ significa “consequentemente”, ou “em consequência”.
