Analyzer
Sentence analysis
15Spans
Sentence
Span Details
命題論理
propositional logic; propositional calculusnoun
では、
contrastive で + は; then; well thengrammar
命題
proposition; thesis; theory; issue; challenge; problemnoun, no-adjective
変数
variablenoun
と
quotation, conditional, companion, or and markergrammar
論理
logic; logical reasoningnoun
結合子
connector; association elementnoun
を
object markergrammar
使っ
use; make use of; employ; handle; spend; consume; speak-> 使うgodan verb
て
connective te-formgrammar
論理
logic; logical reasoningnoun
式
style; method; system; type; ceremony; rite; celebration; wedding ceremony; equation; formula; mathematical expression; enforcement regulations of the ritsuryō codesnoun, noun suffix
を
object markergrammar
表現
expression; representation; description; representation of a groupnoun, suru verb
する。
light/support verb with a noun or noun-like phrasegrammar