Disjunctive syllogism

English

Noun

1. Template:Lb Template:L In symbols: $P\vee Q,\mathrm{\neg }P⊢Q$

Translations

• Catalan: Template:T
• Chinese:

  Mandarin: Template:T

• French: Template:T
• German: Template:T
• Italian: Template:T
• Japanese: Template:T
• Korean: Template:T
• Serbo-Croatian: Template:T, Template:T
• Spanish: Template:T