[phpBB Debug] PHP Notice: in file /includes/db/mysqli.php on line 43: mysqli_connect() [function.mysqli-connect]: Headers and client library minor version mismatch. Headers:50545 Library:50636
[phpBB Debug] PHP Notice: in file /includes/session.php on line 1007: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3493)
[phpBB Debug] PHP Notice: in file /includes/session.php on line 1007: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3493)
[phpBB Debug] PHP Notice: in file /includes/session.php on line 1007: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3493)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 4284: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3493)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 4286: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3493)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 4287: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3493)
[phpBB Debug] PHP Notice: in file /includes/functions.php on line 4288: Cannot modify header information - headers already sent by (output started at /includes/functions.php:3493)
 Profesorek » Matematyka » Logika matematyczna-symbole i oznaczenia

Logika matematyczne-symbole i oznaczenia
 
SYMBOLNAZWACZYTAMYPRZYKŁAD ZASTOSOWANIA
\wedgekoniunkcja... i ...p \: \wedge \: q \: \Leftrightarrow \: q \: \wedge \: p
\veealternatywa... lub ...p \: \vee \: \sim p
 \sim, \: \negnegacjanieprawda, że ...\sim(\sim p) \:\Leftrightarrow \: p
 \Rightarrowimplikacjajeżeli ..., to ...p \: \wedge \: q \: \Rightarrow \: p
 \Leftrightarrow równoważność... wtedy i tylko wtedy, gdy... p \: \Leftrightarrow \: p
 \bigwedge_{x},\: \forall_{x}kwantyfikator ogólnydla każdego x ...\bigwedge_{x \in \mathbb{R}} x^2 \geq 0
 \bigvee_{x},\: \exists_{x}kwantyfikator szczegółowyistnieje takie x, że ... \bigvee_{x \in \mathbb{N}} x^3=1
SYMBOLCZYTAMYPRZYKŁAD ZASTOSOWANIA
\emptysetzbiór pustyA = \emptyset
 \in... należy do ...x \in B
 \not\in... nie należy do ...y \not\in B
\subset... zawiera się w ...A \subset B
\cupsuma zbiorówA \cup B = B
\capiloczyn zbiorówA \cap B = \emptyset