Ovido
Language
  • English
  • Spanish
  • French
  • Portuguese
  • German
  • Italian
  • Dutch
  • Swedish
Text
  • Uppercase

User

  • Log in
  • Create account
  • Upgrade to Premium
Ovido
  • Home
  • Log in
  • Create account

Logical symbols

⇒

Implies

→

Implies

⊃

Implies

⇔

Xnor

↔

Xnor

≡

Xnor

¬

Not

~

Not

!

Not

∧

And

•

And

&

And

∨

Or

+

Or

∣∣

Or

⊕

Xor

⊻

Xor

↮

Xor

≢

Xor

⊤

True

T

True

1

True

⊥

False

F

False

0

False

∀

For all

()

For all

∃

There exists

𝔻

Domain of discourse

⊢

Proves

∴

Therefore

∵

Because

:=

Is defined as

≝

Is defined as

≜

Is defined as

⊼

Nand

⊽

Nor

⊙

Xnor

⟛

Proves and is proven by

⊩

Forces

⟡

Never

⟢

Was never

⟣

Will never be

⟤

Was always

⟥

Will always be

↓

Nor

↑

Nand

∣

Nand

□

It's necessary that

¬∃

There doesn't exist

∄

There doesn't exist

◇

It's possible that

⊬

Doesn't prove

∃!

There exists exactly one

Quiz
religion
蔬菜
lokalkännedom
Etica y Valores 2
historia 2
Ordinario Urgencias 🚨🚑
sw asia
English Advervial 💭
Health information, products, services
Physical Fitness
Tes Wawasan Kebangsaan
Pagsulat
science
TARIFF Trade Remedy Measures
中文。 我的社区
Spanish Set 1
muscles
Thermodynamics
ANTICONVULSANTS-TX OF SEIZURES (Drug Distribution Module 4)WK1.
TX OF PARKINSON'S DISEASE(Drug Distribution Module 4)WK1.
cna
cna
Irregular verbs (5/08)
mds
Verbes irréguliers
Electrolysis
Paper Chromatography
periodic table
TLE 9
English 9
dates Hggsp- faire la guerre faire la paix
COGNOSY
intro to philo quiz 1
Pediatria P1
infeccioso - copia
MIL (L1-L2)
UcSp
Understanding Culture, Society and politics
ap 9
prueba 1 (segundo semestre)
PSYB32: Personality Disorders
The earth (4/08)
The influence of media information to communication
FILIPINO
Countries and their capitals
Science and technology (3/08)
nessecerry
Dates Hggsp- conquête des mers, oceans et espace
patologias cardiovasculares veterinarias
patologia veterinaria