Lógica modal oor Engels
Lógica modal
Vertalings in die woordeboek Spaans - Engels
modal logic
en
type of formal logic
Las fórmulas canónicas han proporcionado una forma uniforme de formular extensiones de la lógica intuicionista, así como de las lógicas modales.
Canonical formulas have provided a uniform way to formulate extensions of intuitionistic logic as well as modal logics.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Ellos sintieron la necesidad de apelar a la lógica Modal para probar que yo estaba equivocado.
Someday, I-- I' d like to show them to you... if you live through thisLiterature Literature
Tales cuestiones han preocupado a muchos de los que han trabajado en la semántica de la lógica modal.
The efficacy and safety of Thelin co-administration with other treatments for PAH (eg, epoprostenol, sildenafil, iloprost) has not been studied in controlled clinical trialsLiterature Literature
La respuesta a esta pregunta determina qué sistema de la lógica modal es apropiado.
You know, I was thinkingLiterature Literature
Este capítulo y los siguientes están en el origen de la lógica modal.
Yasukawa, from the PrecinctWikiMatrix WikiMatrix
La mayoría de las interpretaciones de la lógica modal asignan significados dobles a estos dos operadores.
his grace the duke and his beautiful new duchessWikiMatrix WikiMatrix
Löb hizo investigaciones en teoría de la demostración, lógica modal y teoría de la computabilidad.
How about # Scooby Snacks?WikiMatrix WikiMatrix
Hasta un conocido filósofo tiene fama de haber sugerido que la lógica modal moderna fue concebida en pecado.
The Jewish firm?Literature Literature
Para su descrédito, la lógica modal ignora esta distinción elemental.
No, don' t wake him upLiterature Literature
Y, sin embargo, el campeón de la lógica modal cuantificada debe aceptar el esencialismo.
This is bullshit!Literature Literature
La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento.
Well, I was coming to that, sirWikiMatrix WikiMatrix
En 1976, desarrolló el sistema de lógica dinámica, una lógica modal de comportamiento estructurado.
She has to be operatedWikiMatrix WikiMatrix
Algunos axiomas característicos de la lógica modal son: (A1) Lp ⊃ p y (A2) L(p ⊃ q) ⊃ (Lp ⊃ Lq).
The voucher shall not give entitlement to the aid unlessLiterature Literature
(Técnicamente, se trata de una lógica modal no normal en sentido kripkeano.)
I mean, if it were pamela or denise, even, fineLiterature Literature
La semántica de Kripke para la lógica modal ha resultado muy útil.
When I was in the hospitalLiterature Literature
Mundos posibles El tema de la lógica modal es antiguo: se remonta por lo menos a Aristóteles.
the dish soapgets under the band and... irritates the skinLiterature Literature
Sistemas de lógica modal más fuertes pueden derivarse al agregar otros axiomas.
In addition to remuneration, this includes contributions to a life insurance scheme and insurance against sickness, accident and death, and reimbursement, for freelance translators whose business address is not at the place of employment, of travel expenses and payment of fixed travel allowancesLiterature Literature
Por ejemplo la lógica de segundo orden, la lógica modal y la lógica temporal.
Well, take your gunWikiMatrix WikiMatrix
Por lo tanto no es verdad que Gunnar no fuera vikingo. 7 Lógica modal 7.1.
I mean, is the African market worth that much?Literature Literature
Otros libros que tratan problemas semánticos en lógica modal son Hintikka (1969) y Rescher (1968).
My parents were still deadLiterature Literature
Esto es porque la lógica modal que se requiere probablemente aún no esté disponible para representar ese conocimiento.
Now this may hurt, but it won' t take longLiterature Literature
Primero, su lenguaje es artificialmente empobrecido, y segundo, las reglas para la lógica modal proposicional deben ser debilitadas.
Come on now, BobWikiMatrix WikiMatrix
La lógica modal de Fitch (1952) sigue a la señorita Barcan en ambos puntos.
Machiyumi ( literally waiting and shooting ) : Shooting arrows at an enemy or game after long periods of waiting .Literature Literature
Hay sin embargo un área en que resultan útiles, y es la lógica modal.
And what the fuck does the " exception proves the rule " mean?Literature Literature
Es seguro que Lewis pensaba cuantificar posiciones modales, pero no llegó a desarrollar una lógica modal cuantificada.
Why don' t you buy one in Honolulu, sport.I' il put you on the Pearl Shuttle todayLiterature Literature
Irónicamente, en lugar de socavar la lógica modal, sus advertencias condujeron a una reanimación del naturalis mo.
And what about our Disneyana collection?Literature Literature
170 sinne gevind in 12 ms. Hulle kom uit baie bronne en word nie nagegaan nie.