Ta strona korzysta z plików cookie. Pozostając na niej, wyrażasz zgodę na korzystanie z nich. Dowiedz się więcej w naszej polityce prywatności.

REJESTRACJA

System nauki słówek

Losowe słówka

Zawody

lawyer - prawnik
blacksmith - kowal
assistant - asystent, pomocnik

Top 10

dziś wczoraj w serwisie

symbole

symbole logiczne.

lista słówek użytkownika MarcinosPierwszy

angielski	polski	opcje
∼p	not p
p ∧ q	p and q
p ∨ q	p or q
p ⊕ q or p XOR q	p or q but not both p and q
P ≡ Q	P is logically equivalent to Q
p → q	if p then q
p ↔ q	p if and only if q
∴	therefore
P(x)	predicate in x
P(x) ⇒ Q(x)	every element in the truth set for P(x) is in the truth set for Q(x)
P(x) ⇔ Q(x)	P(x) and Q(x) have identical truth sets
∀	for all
∃	there exist
for any real number r	dla dowolnej liczby rzeczywistej r
universal statement	says that a certain property is true for all elements in a set (All positive numbers are greater than zero)
conditional statement	says that if one thing is true then some other thing also has to be true (If 378 is divisible by 18, then 378 is divisible by 6)
existential statement	istnieje co najmniej jedna rzecz o konkretnej właściwości (For example: There is a prime number that is even.)
for all	dla wszystkich (dotyczy każdego elementu ze zbioru)
some person	jakaś osoba/pewien człowiek (gdy mówimy o kimś konkretnym ale nie wiemy kim ona jest/nie ma to znaczenia)
some people	jacyś ludzie (jest to odpowiednik liczby pojedynczej od jakiegoś człowieka)
such that	taki, że/że spełniony jest warunek (taki)

Losowe słówka

Zawody

lawyer - prawnik
blacksmith - kowal
assistant - asystent, pomocnik

Top 10

dziś wczoraj w serwisie