Lógica de predicados: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Robô: A adicionar: en:Predicate logic |
m r2.7.3) (Robô: A adicionar: ca:Lògica de predicats |
||
Linha 44:
[[af:Predikaatlogika]]
[[ca:Lògica de predicats]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
[[et:Predikaatloogika]]▼
[[el:Κατηγορηματική λογική]]
[[en:Predicate logic]]
[[eo:Predikata logiko]]
▲[[et:Predikaatloogika]]
[[fa:منطق مسند]]
[[fi:Predikaattilogiikka]]▼
[[fr:Calcul des prédicats]]
[[ko:술어 논리]]▼
[[hu:Elsőrendű logika]]
[[ja:一階述語論理]]▼
▲[[ko:술어 논리]]
[[mk:Предикатна логика]]
[[nl:Predicatenlogica]]
▲[[ja:一階述語論理]]
[[simple:Predicate logic]]
[[sk:Predikátová logika]]
▲[[fi:Predikaattilogiikka]]
[[sv:Predikatlogik]]
[[zh:谓词逻辑]]
| |||