shirabe.org
2)

述語動詞じゅつごどうし

#237.133
じゅつごどうし
Significado
    1. lingüística
      verbo que funciona como predicado; núcleo del predicado
      動詞どうしは述語動詞じゅつごどうしのことです。述語動詞じゅつごどうしは、主語しゅごや表あらわす時ときによって形かたちを変かえます。
      El verbo se refiere al verbo del predicado. El verbo del predicado cambia de forma según el sujeto y el tiempo que expresa.
Kanji
述 ジュツ mencionar, expresar, contar 語 ゴ palabra, discurso, lenguaje 動 ドウ mover, movimiento, moverse 詞 シ categoría gramatical, palabras, poesía
Formas
3)

述語論理じゅつごろんり

じゅつごろんり
Significado
    1. ①
      lógica
      lógica de predicados; cálculo de predicados
      Véase también: 命題論理 (めいだいろんり)
    1. ①
      EN In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infi...
Más
Kanji
述 ジュツ mencionar, expresar, contar 語 ゴ palabra, discurso, lenguaje 論 ロン teoría, argumento, discurso 理 リ lógica, razón, preparar
Formas
6)

述語変換意味論

Significado
    1. ES La semántica de transformación de predicados es una extensión de Lógica de Floyd-Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigad...
Más
Kanji
述 ジュツ mencionar, expresar, contar 語 ゴ palabra, discurso, lenguaje 変 ヘン inusual, extraño, cambio 換 カン cambio, intercambio, intercambiar 意 イ idea, sentimiento, intención 味 ミ sabor, gusto, experiencia 論 ロン teoría, argumento, discurso

Resultados