命題 めいだい論理 ろんり がくだったら
meidaironriga kudattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 命題論理学

1. If propositional logic; Were propositional logic

Tara Conditional